• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Logik für Informatiker

Erstveröffentlichung
1995
Metadata only
Search for full text
Buch


Authors
Schöning, Uwe
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Theoretische Informatik
Series
Spektrum Lehrbuch: 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]
Dewey Decimal Group
DDC 004 / Data processing & computer science

Metadata
Show full item record

About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement