Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. A first course in formal logic and its applications in computer science

   Autor*in: Dowsing, Roy D.

   Erschienen: 1994

   Verlag:  Waller, Henley-on-Thames

   • Bibliographische Angaben
   • Zugang
   • Export

   Ulm: Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices

   Standort:

   Universität Ulm, Kommunikations- und Informationszentrum, Bibliotheksservices

   Signatur:

   QAA 206/1994 D

   Fernleihe:

   keine Ausleihe von Bänden, nur Papierkopien werden versandt

   Link zum Verbundkatalog:

   Südwestdeutscher Bibliotheksverbund (SWB)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Beteiligt:	Rayward-Smith, Victor J.; Walter, C. D.
   Sprache:	Englisch
   Medientyp:	Buch (Monographie)
   Format:	Druck
   ISBN:	0632013087
   RVK Klassifikation:	ES 915 ; SK 130 ; ST 120 ; ST 130
   Auflage/Ausgabe:	Reprint.
   Schriftenreihe:	Computer science texts
   Schlagworte:	Logic, symbolic and mathematical
   Umfang:	VI, 265 S., graph. Darst.