MPG.eBooks - Search Results - "Logic"

Cover Image

1

Logic programming languages : constraints, functions, and objects

by Apt, Krzysztof R.
Published 1993

MIT Press

Subjects: “...Logic programming...”

Cover Image

2

Programmverifikation : Sequentielle, parallele und verteilte Programme

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997

Springer New York

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009

Springer London

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991

Springer New York

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Foundations of deductive databases and logic programming

by Apt, Krzysztof R.
Published 1988

M. Kaufmann Publishers

Subjects: “...Logic programming / fast...”

Cover Image

7

New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2...

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”