Ortwin Scheja und Michael Kohlhase - Info zur Person

(1 - 5 von 6

)

Higher Order Multi-valued Resolution - Michael Kohlhase, Ortwin...

books.google.de

Higher Order Multi-valued Resolution. Front Cover. Michael Kohlhase, Ortwin Scheja. Univ. des Saarlandes, pages.

HAL est en maintenance - HAL is undergoing maintenance

hal.inria.fr

... Peter Schmitt", pages = " ", } @Article{kohlhase99jancl, author = "Michael Kohlhase and Ortwin Scheja", title = "Higher-Order Multi-Valued Resolution" ...

Ortwin Scheja - dblpdblp.dagstuhl.de › Persons

dblp.dagstuhl.de

List of computer science publications by Ortwin Scheja Michael Kohlhase , Ortwin Scheja: Higher Order Multi-Valued Resolution. J. Appl. Non Class. Logics ...

Table of Contents 0. Introduction 1. Files in this distribution 2. Getting ...www.cs.cmu.edu/afs/cs/Web/Groups/AI/util/areas/.../readme.txt

www.cs.cmu.edu

... among them: Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Axel Praecklein, Joern Richts, Ortwin Scheja, Arthur Sehn.

Dale Miller's Master Bibliography file. %% Use bibclean on this file ...www.lix.polytechnique.fr › Labo › miller-master

www.lix.polytechnique.fr

... Peter Schmitt", pages = " ", } @Article{kohlhase99jancl, author = " Michael Kohlhase and Ortwin Scheja", title = "Higher-Order Multi-Valued Resolution" ...

Alle Infos zum Namen "Ortwin Scheja"

Verwandte Suchanfragen zu Ortwin Scheja

Michael Kohlhase

Personen
Vorname "Ortwin" (789)
Name "Scheja" (140)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: 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