Logic for applications

Gespeichert in:

Personen und Körperschaften:	Nerode, Anil (VerfasserIn), Shore, Richard A. (VerfasserIn)
Weitere Verfasser:	Shore, Richard A. 1946- [VerfasserIn]
Format:	Buch
Sprache:	Englisch
veröffentlicht:	New York, Heidelberg [u.a.] Springer 1993
Gesamtaufnahme:	Texts and monographs in computer science
Schlagwörter:	Logic programming Logic, symbolic and mathematical Logic, Symbolic and mathematical Logische Programmierung Mathematische Logik
Quelle:	Verbunddaten SWB
Fachgebiet:	DK 681.3.06 DK 510.6
Signatur:	95.417 8.
Standort:	95.417 8.
ISBN:	0387941290 3540941290

Online

https://zbmath.org/?q=an:0842.03003

Hauptbibliothek

95.417/18.	Verfügbar Regalstandort: Lesesaal (LS) ⋅ 681.3 TI Ner Regalstandort