Ein tableaubasierter Theorembeweiser für die intuitionistische Logik / Oliver Bittel

By:

Resource type: Ressourcentyp: BuchBookLanguage: German Series: Gesellschaft für Mathematik und Datenverarbeitung. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 198Publisher: München ; Wien : Oldenbourg, 1991Description: 184 S : graph. DarstISBN:

Subject(s):

Genre/Form:

MSC: MSC: *03B35 | 68T15 | 03-02 | 68-02 | 03-04 | 03B20 | 03B40 | 68N17 | 68Q60RVK: RVK: SI 210Dissertation note: Zugl.: Karlsruhe, Univ., Diss., 1991 Call number: Grundsignatur: 91 DA 238PPN: PPN: 018474160

Holdings
Item type	Home library	Collection	Shelving location	Call number	Copy number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	91 DA 238	;c	Available	45121305090
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	91 DA 238	;b	Available	31253891
Archiv (Magazin CS)	Bibliothek Campus Süd		Archiv	91 DA 238		Available	31253937
Freihandbestand ausleihbar	Fachbibliothek Informatik	F.Bit	Bibliothek / frei aufgestellt	F.Bit(10969)		Available	000203685090

Total holds: 0