MPG.eBooks - Search Results - "Computer Logic"

1

Handbook of practical logic and automated reasoning

by Harrison, J.
Published 2009

Cambridge University Press

Subjects: “...Computer logic...”

Read Now

2

Refinement : Semantics, Languages and Applications

by Derrick, John, Boiten, Eerke
Published 2018

Springer International Publishing

Subjects: “...Computer logic...”

Read Now

3

Theory of Program Structures : Schemes, Semantics, Verification

by Greibach, Sheila A.
Published 1975

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

4

Industrial-Strength Formal Methods in Practice

Published 1999

Springer London

Subjects: “...Computer logic...”

Read Now

5

Dynamic logic

by Harel, David
Published 2000

MIT Press

Subjects: “...Computer logic...”

Read Now

6

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

Published 1993

Springer London

Subjects: “...Computer logic...”

Read Now

7

Einführung in die klassische und intensionale Logik

by Friedrichsdorf, Ulf
Published 1992

Vieweg+Teubner Verlag

Subjects: “...Computer logic...”

Read Now

8

ALPUK91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

Published 1992

Springer London

Subjects: “...Computer logic...”

Read Now

9

The 2-tuple Linguistic Model : Computing with Words in Decision Making

by Martínez, Luis, Rodriguez, Rosa M., Herrera, Francisco
Published 2015

Springer International Publishing

Subjects: “...Computer logic...”

Read Now

10

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings

Published 1988

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

11

Dynamische Integrität von Datenbanken : Grundlagen der Spezifikation und Überwachung

by Lipeck, Udo W.
Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

12

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 199...

Published 1994

Springer London

Subjects: “...Computer logic...”

Read Now

13

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991...

Published 1992

Springer London

Subjects: “...Computer logic...”

Read Now

14

Einführung in die Mathematische Logik : Ein Lehrbuch

by Rautenberg, Wolfgang
Published 2008

Vieweg+Teubner Verlag

Subjects: “...Computer logic...”

Read Now

15

Informatik : Eine einführende Übersicht Erster Teil

by Bauer, F. L., Goos, G.
Published 1973

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

16

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

17

Grundlegende Algorithmen mit Java : Lern- und Arbeitsbuch für Informatiker und Mathematiker

by Logofătu, Doina
Published 2014

Springer Fachmedien Wiesbaden

Subjects: “...Computer logic...”

Read Now

18

Sprachlogische Aspekte rekonstruierten Denkens, Redens und Handelns : Aufbau einer Wissenschaftstheorie der Wirtschaftsinformatik

by Heinemann, Elisabeth
Published 2006

Deutscher Universitätsverlag

Subjects: “...Computer logic...”

Read Now

19

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer logic...”

Read Now

20

The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering

by Jureta, Ivan
Published 2015

Springer International Publishing

Subjects: “...Computer logic...”

Narrow Search