1.

Record Nr.

UNINA990005781470403321

Autore

Tieftrunk, Johann Heinrich

Titolo

Das Welthall nach menschlicher Ansicht : Einleitung und Grundlage zu einer Philosophie der Natur, verständlich für jeden gebildeten Leser / von Johann Heinrich Tieftrunk

Pubbl/distr/stampa

Bruxelles : Culture et Civilisation, 1970

Descrizione fisica

VIII, 247 p. ; 19 cm

Collana

Aetas Kantiana ; 281

Disciplina

113

Locazione

FLFBC

Collocazione

P.1 FG 1810

Lingua di pubblicazione

Tedesco

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNICAMPANIASUN0055603

Titolo

Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase

Pubbl/distr/stampa

Natick, : Peters, 2001

ISBN

15-688-1145-4

Descrizione fisica

XI, 270 p. : ill. ; 23 cm.

Soggetti

68Qxx - Theory of computing [MSC 2020]

68Txx - Artificial intelligence [MSC 2020]

68Wxx - Algorithms in computer science [MSC 2020]

03Bxx - General logic [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia