Logik und Logikprogrammierung

««« zurück123456vor »
    • Klaus Fricke
    • Digitaltechnik
    • Broschiertes Buch 
    • Lehr- und Übungsbuch für Elektrotechniker und Informatiker
    • 6., überarb. Aufl., Dezember 2009, Vieweg+Teubner, 85034707
  • Digitaltechnik
    • Sven E. Panitz
    • Java will nur spielen
    • Broschiertes Buch 
    • Programmieren lernen mit Spaß und Kreativität
    • 2., Aufl., Januar 2011, Vieweg+Teubner, 85043012
  • Java will nur spielen
  • Kleinsteuerungen in Praxis und Anwendung
  • Logik für Informatiker
  • All About Maude - A High-Performance Logical Framework. Lecture Notes in Computer Science (4350)
  • Constraint-Programmierung
  • Foundations of Inductive Logic Programming
  • Übungen zur Einführung in die Informatik, m. CD-ROM. Informatik
    • Ingrid Gerdes
    • Klaus Klawonn
    • Rudolf Kruse
    • Evolutionäre Algorithmen
    • Broschiertes Buch 
    • Genetische Algorithmen. Strategien und Optimierungsverfahren. Beispielanwendungen
    • Juli 2004, Vieweg+Teubner, 85002305
    • *****
       (1 Bewertung)
  • Evolutionäre Algorithmen
    • Statt EUR 117,65* nur
    • EUR 110,95
    • Jetzt 6 % sparen!
    • Jetzt bestellen
    • Versandfertig in 3-5 Tagen
    • versandkostenfrei
  • Fuzzy Database Modeling
  • Automata, Languages, and Programming, ICALP '94
  • Reasoning with Logic Programming
    • Statt EUR 87,69* nur
    • EUR 69,50
    • Jetzt 21 % sparen!
    • Jetzt bestellen
    • Versandfertig in 3-5 Tagen
    • versandkostenfrei
  • Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
    • Pierre Deransart / Martin Jourdan (eds.)
    • Attribute Grammars and their Applications
    • Broschiertes Buch 
    • International Conference, Paris, France, September 19-21, 1990
    • 1990., Januar 1960, Springer, Berlin, 10409971
  • Attribute Grammars and their Applications
  • Programming Languages Implementation and Logic Programming, PLILP '88
  • Programming Languages Implementation and Logic Programming, PLILP '90
    • Dezani-Ciancaglini
    • Typed Lambda Calculi and Applications, TLCA '95
    • Broschiertes Buch 
    • Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings
    • 1995., Juni 2002, Springer, Berlin, 10485422
  • Typed Lambda Calculi and Applications, TLCA '95
  • Logic Programming and Nonmonotonic Reasoning 1997
  • Logic Programming and Knowledge Representation
    • Yves Bertot / Gilles Dowek / Andre Hirschowitz / Christine Paulin / Laurent Thery (eds.)
    • Theorem Proving in Higher Order Logics, TPHOLs '99
    • Broschiertes Buch 
    • 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999
    • 1999., Januar 1960, Springer, Berlin, 10704460
  • Theorem Proving in Higher Order Logics, TPHOLs '99
    • Beaumont
    • Parallel Execution of Logic Programs
    • Broschiertes Buch 
    • ICLP '91 Pre-Conference Workshop, Paris, France, June 24, 1991. Proceedings
    • 1991., Januar 1960, Springer, Berlin, 10056786
  • Parallel Execution of Logic Programs
    • Marc Bezem / Jan F. Groote (eds.)
    • Typed Lambda Calculi and Applications, TLCA '93
    • Broschiertes Buch 
    • International Conference on Typed Lamdba Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings.
    • 1993., Januar 1960, Springer, Berlin, 10082591
  • Typed Lambda Calculi and Applications, TLCA '93
    • Bjorner
    • Perspectives of System Informatics
    • Broschiertes Buch 
    • Second International Andrei Ershov Memorial Conference, Academgorodok, Novosibirsk, Russia, June 25-28, 1996. Proceedings
    • 1996., Januar 1960, Springer, Berlin, 10550455
  • Perspectives of System Informatics
    • Dines Bjorner / Manfred Broy / Alexandre V. Zamulin (eds.)
    • Perspectives of System Informatics (PSI '99)
    • Broschiertes Buch 
    • Third International Andrei Ershov Memorial Conference, Academgorodok, Novosibirsk, Russia, July 6-9, 1999. Proceedings
    • 2000., Januar 1960, Springer, Berlin, 10719596
  • Perspectives of System Informatics (PSI '99)
    • Egon Börger / Hans Kleine Büning / Michael M. Richter (eds.)
    • Computer Science Logic (CSL '88)
    • Broschiertes Buch 
    • 2nd Workshop on Computer Science Logic, CSL '88, Duisburg, FRG. October 3-7, 1988. Proceedings
    • 1989., Januar 1960, Springer, Berlin, 10390229
  • Computer Science Logic (CSL '88)

    ««« zurück123456vor »
    Fachbücher:
    InformatikKünstliche IntelligenzAgentensystemeComputerlinguistikComputerspieleEvolutionäre AlgorithmenExpertensystemeFuzzy-LogikLogik und LogikprogrammierungMaschinelles LernenMustererkennungNeuronale NetzeRobotikSonstige ThemenSpracherkennung und -analyseWissensbasierte Systeme