Mechanical theorem proving system of universal purpose:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gburzyński, Paweł (VerfasserIn)
Format: Buch
Sprache:Polish
Veröffentlicht: Warszawa 1980
Schriftenreihe:Instytut Podstaw Informatyki <Warszawa>: Prace IPI PAN 390
Beschreibung:43 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!