Publications

Entries sorted by: 3. Type of Publication - 3. All Types: 15.4.1997-15.4.1999

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

#		Author/Editor	Year		Title	Publisher / Institution
1	Book
11	Part of a Book
3	Proceedings
		Ganzinger (ed.)	1999		Proceedings of the 16th International Conference on Automated Deduction (CADE-16)	Springer
		Ganzinger, McAllester, Voronkov (ed.)	1999		Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)	Springer
		Weydert, Brewka, Witteveen (ed.)	1997		Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97)	Max-Planck-Institut für Informatik
85	Proceedings Article
43	Journal Article
2	Report
10	Thesis - Master's thesis
11	Thesis - Doctoral dissertation
1	Thesis - Habilitation thesis
1	Miscellaneous
168

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