Computer Science Logic

by Dawar, Anuj; Veith, Helmut

• ISBN13: 9783642152047
• ISBN10: 364215204X
• Format: Paperback

Logic, Language, Information and Computation: 17th International Workshop, Wollic 2010 Brasilia, Brazil, July 6-9, 2010 Proceedings

by Dawar, Anuj; De Queiroz, Ruy

• ISBN13: 9783642138232
• ISBN10: 3642138233
• Format: Paperback

How the World Computes

by Cooper, S. Barry; Dawar, Anuj; Lowe, Benedikt

• ISBN13: 9783642308697
• ISBN10: 3642308694
• Format: Paperback

• Used Textbook Copy Usually Ships in 2-4 Business Days
• Free Shipping On Orders Over $35!

Logic, Language, Information and Computation

by Anuj Dawar; ?Ruy de Queiroz

• ISBN13: 9783642138249
• ISBN10: 3642138241
• Format: Nonspecific Binding

How the World Computes

by Barry S. Cooper; ?Anuj Dawar; ?Benedikt Löwe

• ISBN13: 9783642308703
• ISBN10: 3642308708
• Format: Nonspecific Binding