MPG.eBooks - Search Results - "logics"

Cover Image

1

Logics for Concurrency : Structure versus Automata

by Birtwistle, Graham
Published 1996

Springer

Cover Image

2

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions

Published 1987

Springer

Cover Image

3

Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

by Clarke, Edmund
Published 1984

Springer

Cover Image

4

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981

by Kozen, Dexter
Published 1982

Springer

Cover Image

5

Logic of Programs : Workshop, ETH Zürich, May–July 1979

by Engeler, Erwin
Published 1981

Springer

Cover Image

6

Logic Programming...

by Voronkov, A.
Published 1992

Springer

Cover Image

7

Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation

Published 1994

Springer

Cover Image

8

Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

by Gabbay, Dov
Published 1994

Springer

Cover Image

9

Logic in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings

by Pedreschi, Dino
Published 1996

Springer

Cover Image

10

Logics of Programs : Brooklyn, June 17–19, 1985 Proceedings

by Parikh, Rohit
Published 1985

Springer

Cover Image

11

Logics in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings

by Pearce, D.
Published 1992

Springer

Cover Image

12

Logics in AI : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings

by Eijck, J.
Published 1991

Springer

Cover Image

13

Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

by Crossley, John
Published 1975

Springer

Cover Image

14

Logic Colloquium : Symposium on Logic Held at Boston, 1972–73

by Parikh, Rohit
Published 1975

Springer

Cover Image

15

Logic Program Synthesis and Transformation — Meta-Programming in Logic...

by Fribourg, Laurent
Published 1994

Springer

Cover Image

16

Logics of Programs and Their Applications : Proceedings, Poznan, August 23–29, 1980

by Salwicki, A.
Published 1983

Springer

Cover Image

17

Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985

by Wada, Eiiti
Published 1986

Springer

Cover Image

18

Logic Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986

by Wada, Eiiti
Published 1987

Springer

Cover Image

19

Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987

by Fujisaki, Tetsunosuke
Published 1988

Springer

Cover Image

20

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

by Meyer, Albert
Published 1989

Springer

1
2
3
4
5
6
7
8