Refine your search
Availability
-
Authors
- Durand-Lose, Jérôme
- Margenstern, Maurice [x]
-
Holding libraries
-
Item types
- Libro Electrónico [x]
-
Locations
-
Series
- Lecture Notes in Com... [x]
-
Topics
- Algorithm Analysis a...
- Computation by Abstr... [x]
- Computer Science
- Computer science
- Computer software
- Logic design [x]
- Logics and Meanings ...
- Mathematical Logic a...
- Show more
- Show less