The structure of models of Peano arithmetic von Kossak, Roman 1953-, Schmerl, James H.

DE-91
DE-703
URL des Erstveröffentlichers

Logics in artificial intelligence 8th European conference, JELIA 2002, Cosenza, Italy, September 23 - 26, 2002 ; proceedings

Non-standard inferences in description logics von Küsters, Ralf

DE-91
DE-384
DE-19
DE-739
Volltext

Logics in artificial intelligence European workshop, JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998 ; proceedings

Volltext

Logics in artificial intelligence European workshop, JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998 ; proceedings

Inhaltsverzeichnis

Non-standard Logics for automated reasoning

Non-standard logics for automated reasoning

Inhaltsverzeichnis

Logics for artificial intelligence von Turner, Raymond 1947-

Logics for artificial intelligence von Turner, Raymond 1947-

Logics for artificial intelligence von Turner, Raymond 1947-

The structure of models of Peano arithmetic von Kossak, Roman 1953-, Schmerl, James Henry

Table of contents only
Inhaltsverzeichnis

Logics in artificial intelligence 8th European conference, JELIA 2002, Cosenza, Italy, September 23 - 26, 2002 ; proceedings

DE-91
DE-384
DE-19
DE-739
Volltext

Non-standard inferences in description logics von Küsters, Ralf

Non-standard logics for automated reasoning

Logics for artificial intelligence von Turner, Raymond 1947-