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
1	Nadif, Mohamed (ed.)
1	Näher, Stefan (ed.)
1	Namjoshi, Kedar S. (ed.)
1	Napoli, Amedeo (ed.)
1	Nardi, D. (ed.)
2	Narendran, Paliath
1	Narendran, Paliath (ed.)
1	Naumann, Stefan
1	Nau, Dana (ed.)
2	Nebel, Bernhard
1	Nebel, Bernhard Nebel (ed.)
5	Nebel, Bernhard (ed.)
1	Nebel, B. (ed.)
1	Nejdl, W. (ed.)
1	Neuman, B. (ed.)
1	Ng, Raymond (ed.)
4	Niehren, Joachim
1	Nielsen, Mogen (ed.)
3	Nielsen, Mogens (ed.)
1	Nielsen, Thomas D. (ed.)
1	Nielson, Flemming
1	Niemelä, Ilkka (ed.)
6	Nieuwenhuis, Robert
4	Nieuwenhuis, Robert (ed.)
		2005	Baumgartner, Peter [Tinelli, Cesare]	[Nieuwenhuis, Robert]		The Model Evolution Calculus with Equality In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408	Proceedings Article
		2005	Sofronie-Stokkermans, Viorica	[Nieuwenhuis, Robert]		Hierarchic reasoning in local theory extensions In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234	Proceedings Article
		2001	Afshordel, Bijan Hillenbrand, Thomas Weidenbach, Christoph	[Nieuwenhuis, Robert] [Voronkov, Andrei]		First-Order Atom Definitions Extended In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319	Proceedings Article
		2001	de Nivelle, Hans	[Nieuwenhuis, Robert] [Voronkov, Andrei]		Splitting through New Proposition Symbols In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185	Proceedings Article
9	Nipkow, Tobias (ed.)
1	Nivat, Maurice

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