Difference between revisions of "CSL 1987"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
(3 intermediate revisions by one other user not shown)
Line 7: Line 7:
 
|Start date=1987/10/12
 
|Start date=1987/10/12
 
|End date=1987/10/16
 
|End date=1987/10/16
|DblpConferenceId=/csl87
+
|DblpConferenceId=csl/csl87
 
|City=Karlsruhe
 
|City=Karlsruhe
 
|Country=Germany
 
|Country=Germany
 
|presence=presence
 
|presence=presence
 +
|has Proceedings DOI=https://doi.org/10.1007/3-540-50241-6
 +
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-50241-6#toc
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
1st Workshop on Computer Science Logic (CSL) 1987
 
1st Workshop on Computer Science Logic (CSL) 1987
 
 
 
==Topics==
 
==Submissions==
 
==Important Dates==
 

Latest revision as of 20:20, 1 April 2022

CSL 1987
1st Workshop on Computer Science Logic
Ordinal 1
Event in series CSL
Dates 1987/10/12 (iCal) - 1987/10/16
Presence presence
Location
Location: Karlsruhe, Germany
Loading map...

Table of Contents

The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.,



1st Workshop on Computer Science Logic (CSL) 1987