Dynamic Logic
David Harel,
Dexter Kozen
Buy from $69.77
|
Introduction to Languages and...
John C Martin
Buy from $8.40
|
Recursively Enumerable Sets...
Robert I Soare
Buy from $87.20
|
Nothing Loopy about This:...
Brian P. Cleary
Buy from $10.31
|
Many-Valued Logics 2:...
Leonard Bolc,
Piotr Borowik
Buy from $60.65
|
Designing Evolutionary...
Ronald W Morrison
Buy from $37.31
eBook from $16.50
|
Modal and Temporal Properties...
Colin Stirling
Buy from $68.44
eBook from $16.50
|
Equational Logic as a...
Michael J O'Donnell
Buy from $43.63
|
Foundations of Algebraic...
Donald Sannella,
Andrzej Tarlecki
Buy from $116.24
eBook from $41.70
|
The Deductive Foundations of...
Zohar Manna,
Richard Waldinger
Buy from $51.98
|
Handbook of Logic in Computer...
Thomas S E Maibaum,
Samson Abramsky (Editor)
Buy from $368.38
|
Formal Languages and...
Stefano Crespi Reghizzi,
Luca Breveglieri
Buy from $94.02
eBook from $29.70
|
The Correctness-By...
Derrick G Kourie,
Bruce W Watson
Buy from $101.42
|
Understanding Agent Systems
Mark D'Inverno,
Michael Luck
Buy from $16.01
|
Introduction to Languages and...
John C Martin
Buy from $8.50
|
Foundations of Probabilistic...
Fabrizio Riguzzi
Buy from $106.10
eBook from $68.75
|
Constraint Databases
Gabriel Kuper (Editor),
Leonid Libkin (Editor)
Buy from $46.07
eBook from $47.70
|
Logic-Based Knowledge...
Peter Jackson (Editor),
Han Reichgelt (Editor)
Buy from $37.00
|
Larch: Languages and Tools...
S J Garland,
John V Guttag
Buy from $17.00
|
Types in Logic Programming
Frank Pfenning (Editor)
Buy from $390.72
|
Formal Languages and...
Stefano Crespi Reghizzi,
Luca Breveglieri
Buy from $533.17
eBook from $24.00
|
Cooperating Heterogeneous...
David G Schwartz
Buy from $101.42
|
Fairness
Dr. Nissim Francez
Buy from $37.40
|
Structured Computer...
Andrew S Tanenbaum
Buy from $10.62
|
