Yazar
peter joseph schroeder heister
5 cilt bulundu.
Cilt sonuçları
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen
Peter Joseph Schroeder-Heister · Sine nomine
251 sayfa · 1981
Comparative and general Grammar / Coordinate constructions / German language / Conjunctions
Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996
Germany) Elp '9 (1996 Leipzig, Roy Dyckhoff, Heinrich Herre, Peter Joseph Schroeder-Heister · Springer Verlag
Sayfa sayısı yok · 1996
Programming - General / Computers / Congresses / Logic Programming
Proof theory in computer science
Reinhard Kahle, Peter Joseph Schroeder-Heister, Robert F. Stärk, PTCS 2001 (2001 Dahgstuhl Castle) · Springer
Sayfa sayısı yok · 2001
Automatic theorem proving / Congresses