Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

1. Logic for computer science

   foundations of automatic theorem proving
   Autor*in: Gallier, Jean H.

   Erschienen: 1986

   Verlag:  Harper & Row, Cambridge, Mass. u.a.

   • Bibliographische Angaben
   • Zugang
   • Export

   München: Universitätsbibliothek der LMU München

   Standort:

   Universitätsbibliothek der LMU München

   Fernleihe:

   uneingeschränkte Fernleihe, Kopie und Ausleihe

   Link zum Verbundkatalog:

   Bibliotheksverbund Bayern (BVB)

   Export in Literaturverwaltung

   RIS-Format   BibTeX-Format

   Quelle:	Verbundkataloge
   Sprache:	Englisch
   Medientyp:	Buch (Monographie)
   ISBN:	0060422254
   RVK Klassifikation:	ST 304 ; ST 130 ; ES 900 ; SK 130
   Schriftenreihe:	Harper & Row computer science and technology series ; 5
   Schlagworte:	Logique informatique; Logique symbolique et mathématique; PROLOG; Théorèmes - Démonstration automatique; calcul propositionnel; démonstration automatique; démonstration théorème; logique 1er ordre; logique mathématique; logique symbolique; système GENTZEN; système formel; Automatic theorem proving; Logic, Symbolic and mathematical; Mathematische Logik; Automatisches Beweisverfahren
   Umfang:	XV, 511 S.