Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
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 |
| Radermacher, F. J. |
| |
1 |
| |
3 |
| Rajamani, Sriram K. |
| |
1 |
| |
1 |
| Ramakrishnan, I.V. (ed.) |
| |
1 |
| |
1 |
| Ramanujam, R (ed.) |
| |
1 |
| |
1 |
| Raskin, Jean-François |
| |
1 |
| |
1 |
| Ras, Z. (ed.) |
| |
12 |
| |
1 |
| Rattray, Charles (ed.) |
| |
2 |
| |
1 |
| Reggio, Gianna (ed.) |
| |
1 |
| |
1 |
| Reischuk, Rüdiger (ed.) |
| |
1 |
| |
1 |
| Rémy, J.-L. (ed.) |
| |
1 |
| |
1 |
| Riazanov, Alexandre |
| |
1 |
| |
1 |
| Rich, Charles (ed.) |
| |
1 |
| |
1 |
| Rinard, Martin C. |
| |
1 |
| |
5 |
| Robinson, Alan (ed.) |
| |
3 |
| |
| | 2001 | Bachmair, Leo
Ganzinger, Harald | [Robinson, J. A.]
[Voronkov, A.] | | Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99 | Part of a Book | |
| | 1993 | Eisinger, Norbert
Ohlbach, Hans Jürgen | Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A. | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article | |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)