Logik für Informatiker
Buch
Authors
Schöning, Uwe
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Theoretische InformatikSeries
Spektrum Lehrbuch: Reihe Informatik
Reihe Informatik
Reihe Informatik
Edition
4., überarb. Aufl.
Publisher
Heidelberg [u.a.] : Spektrum, Akad. Verl.
ISBN
386025684X
Subject Headings
Logische Programmierung [GND]Mathematische Logik [GND]
Logic, Symbolic and mathematical [LCSH]
Logic programming [LCSH]