> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: First-order programming theories Beteiligte: Gergely, Tamás [VerfasserIn]; Úry, László [VerfasserIn] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1991 Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 24 Umfang: IX, 351 S; graph. Darst; 25 cm Sprache: Englisch ISBN: 3540542779; 0387542779 RVK-Notation: ST 140 : Semantik von Programmiersprachen ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Programmierung > Prädikatenlogik Prädikatenlogik > Stufe 1 > Programmierung Entstehung: Anmerkungen: Literaturverz. S. [335] - 340 Weitere Bestandsnachweise 0 : EATCS monographs on theoretical computer sciences
Bereichsbibliothek DrePunct – Magazin Signatur: 0892 80722 001 Barcode: 30442002 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung