Server halma.mpi-inf.mpg.de
Entries sorted by: 5. Year - 8. Counting Publications
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
| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 58 |
| 2001 |
| |
| 48 |
| |
| 61 |
| 1999 |
| |
| 73 |
| |
| 42 |
| 1997 |
| |
| 64 |
| |
| 55 |
| 1995 |
| |
| 64 |
| |
| 47 |
| 1993 |
| |
| 26 |
| |
| 4 |
|
 | Part of a Book |
| |
| | | Eisinger, Norbert
Nonnengart, Andreas
Präcklein, Axel | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | |
| | | Ganzinger, Harald
Stuber, Jürgen | | Inductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462 | |
| | | Hanus, Michael | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | |
| | | Nonnengart, Andreas
Ohlbach, Hans Jürgen | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | |
| 17 |
|
| |
| 4 |
|
| Journal Article |
| |
| 1 |
|
| |
| 26 |
| 1991 |
| |
| 2 |
| |
| 1 |
| 1988 |
| |
| 782 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)
