An edition of Set theory for computing (2001)

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Domenico Cantone, Eugenio Omod ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

March 1, 2022 | History

Edit

An edition of Set theory for computing (2001)

This edition doesn't have a description yet. Can you add one?

Publish Date

2013

Publisher

Springer

Language

English

Check nearby libraries

Buy this book

Previews available in: English

Showing 3 featured editions. View all 3 editions?

Edition	Availability
1 Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets 2013, Springer in English 1475734522 9781475734522	aaaa Not in Library Libraries near you: WorldCat
2 Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets 2011, Springer New York in English 1441929053 9781441929051	zzzz Not in Library Libraries near you: WorldCat
3 Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science) June 26, 2001, Springer in English 0387951970 9780387951973	zzzz Not in Library Libraries near you: WorldCat