MPG.eBooks - Search Results

Cover Image

1

Hybrid Systems II

Published 1995

Springer Berlin Heidelberg

Cover Image

2

Published 1993

Springer Berlin Heidelberg

Cover Image

3

Logic for Applications

by Nerode, Anil, Shore, Richard A.
Published 1993

Springer New York

Cover Image

4

Logic for Applications

by Nerode, Anil, Shore, Richard A.
Published 1997

Springer New York

Cover Image

5

by Grossman, Robert
Published 1993

Springer

Cover Image

6

Logical Foundations of Computer Science : Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

by Matiyasevich, Yu
Published 1994

Springer

Cover Image

7

Logical Foundations of Computer Science — Tver '92 : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

by Nerode, Anil
Published 1992

Springer

Cover Image

8

Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

by Marek, V.
Published 1995

Springer

Cover Image

9

Hybrid Systems II

by Antsaklis, Panos
Published 1995

Springer