SystemVerilog is a rich set of extensions to the IEEE 1364-2001 Verilog Hardware Description L...

This volume contains the papers presented at the Eighth International C- ference on Logic for Pro...

Diese moderne Einführung in die Informatik ist am renommierten Massachusetts Institute of Technol...

Dieses Lehrbuch ist die erste umfassende und einheitliche Einführung in die Constraint-Programmie...

This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

ThesearetheproceedingsoftheSixthInternationalConferenceonLogicP- grammingandNonmonotonicReasoning...

Logic Programming is the name given to a distinctive style of programming, very different from...

Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlic...

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung 'Einführung in die...

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mi...

One of the key open questions within arti?cial intelligence is how to combine probability and log...

The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecom...