> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: The little prover Beteiligte: Friedman, Daniel P. [VerfasserIn]; Eastlund, Carl [VerfasserIn] Erschienen: Cambridge, Massachusetts; London, England: MIT Press, 2015 Umfang: XIII, 229 S.; Ill., graph. Darst; 23 cm Sprache: Englisch ISBN: 9780262527958 RVK-Notation: ST 250 : Einzelne Programmiersprachen (A-Z) SK 130 : Logik und Grundlagen, Metamathematik, ST 240 : Programmiersprachen allgemein (Maschinenorientierte Programmiersprachen, problemorientierte prozedurale Sprachen, applikative und funktionale Sprachen) Schlagwörter: Automatisches Beweisverfahren > LISP Entstehung: Anmerkungen: Includes bibliographical references (pages217218) and index
Bereichsbibliothek DrePunct – Freihand Signatur: ST 250 S11 F911 Barcode: 35033717 Status: Ausleihbar