Showing 1 - 5 of 5 for search: 'Dowek, Gilles.', query time: 0.05s
by Dowek, Gilles.
Published: Springer, 2009
Description: 1 online resource (xii, 159 pages) : illustrations.
eBook
Save to List
Cover Image
by Dowek, Gilles.
Published: Springer, 2011
Description: 1 online resource (xi, 96 pages).
eBook
Save to List
Cover Image
by Dowek, Gilles.
Published: Springer, 2011
Description: 1 online resource (xii, 155 pages).
eBook
Save to List
Cover Image
Published: Berlin ; Springer, 2008
Description: 1 online resource (xii, 556 pages) : illustrations.
eBook
Save to List
Cover Image
Published: Springer, 2014
Description: 1 online resource (xxii, 491 pages) : illustrations.
eBook
Save to List
Cover Image

In Prospector

Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools: Get RSS Feed — Email this Search — Save Search

Related Subjects

Computer logic Programming languages (Electronic computers) Algorithms Automatic theorem proving Lambda calculus Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Rewriting systems (Computer science)