Automatisierung von Terminierungsbeweisen / Christoph Walther

By:

Walther, Christoph, 1966- [aut]

Resource type: Ressourcentyp: BuchBookLanguage: German Series: Artificial intelligencePublisher: Wiesbaden : Vieweg, 1991Description: IX, 253 SISBN:

3528047712

Subject(s):

Genre/Form:

Hochschulschrift

MSC: MSC: *68T15 | 68-02RVK: RVK: ST 140Dissertation note: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1990 u.d.T.: Walther, Christoph: A many sorted calculus based on resolution and paramodulation Call number: Grundsignatur: 91 A 1008PPN: PPN: 1651184380

Holdings ( 3 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Copy number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	91 DA 63	;b	Available	49071768090
Magazinbestand ausleihbar	Bibliothek Campus Süd		Geschlossenes Magazin	91 A 1008		Available	46206740090
Freihandbestand ausleihbar	Fachbibliothek Informatik	D.Wal	Bibliothek / frei aufgestellt	D.Wal(13180)		Available	000144175090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)