2nd International Workshop on Complexity in Automated Deduction [... (CiAD) took place in Copenhagen, Denmark, from 25 to 26 July 2002, as part of the 3rd Federated Logic Conference FLoC'02]

Bibliographische Detailangaben

Körperschaften:	International Workshop on Complexity in Automated Deduction (VerfasserIn), Federated Logic Conference (BerichterstatterIn)
Weitere Verfasser:	Gottlob, Georg (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York, NY Springer 2004
Schriftenreihe:	Theory of computing systems Special issue 37.2004,6
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!