Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Year	Author(s) [non member]	Editor(s) [non member]		Title	Type
2	Cohrs, Christian
		1999	Weidenbach, Christoph Afshordel, Bijan Brahm, Uwe Cohrs, Christian Engel, Thorsten Keen, Enno Theobalt, Christian Topić, Dalibor	Ganzinger, Harald		System Description: SPASS Version 1.0.0 In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318	Proceedings Article
		1998	Weidenbach, Christoph Meyer, Christoph Cohrs, Christian Engel, Thorsten Keen, Enno			SPASS V0.77 In: Journal of Automated Reasoning [21], 113-113	Journal Article
3	Colmerauer, A. (ed.)
3	Comon, Hubert (ed.)
1	Constable, Robert L.
6	Cook, Byron
3	Cook, Byron (ed.)
1	Cooper, Gregory S. (ed.)
1	Coquand, Thierry (ed.)
1	Cornuéjols, Gérard (ed.)
2	Cortesi, Agostino (ed.)
1	Cortier, V.
2	Cunningham, Jim (ed.)
1	Cunningham, J.
1	Cuntz, Nicolas
1	D'Agostino, Marcello (ed.)
1	Dahl, Verónica (ed.)
1	Dahn, Ingo (ed.)
3	Dal Zilio, Silvano
2	Damm, Werner
1	Danvy, Olivier (ed.)
1	Dauchet, Max (ed.)
1	Daum, Matthias
1	De Giacomo, Giuseppe (ed.)
1	de Leon, David (ed.)
1	de Moor, Aldo (ed.)
26	de Nivelle, Hans
5	de Nivelle, Hans (ed.)
1	de Raedt, Luc

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)