> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Goal-directed proof theory Beteiligte: Gabbay, Dov M. [Verfasser:in]; Olivetti, Nicola [Verfasser:in] Erschienen: Dordrecht [u.a.]: Kluwer, c 2000 Erschienen in: Applied logic series ; 21 Umfang: X, 266 S; 25cm Sprache: Englisch ISBN: 0792364732 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Beweistheorie Entstehung: Anmerkungen: Bibliography S. [255] - 263 Weitere Bestandsnachweise 0 : Applied logic series
Bereichsbibliothek DrePunct – Magazin Signatur: 2000 8 027490 002 Barcode: 30103374 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung