Color: Automata (Tobias Nipkow)
|
| | | | 
 enlarge
| | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Authors: Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
List Price: $69.95
Buy New: $54.40
You Save: $15.55 (22%)
New (15) Used (8) from $54.40
Avg. Customer Rating:  1 reviews
Sales Rank: 1489776
Category: Book
ASIN: 3540433767
Publication Date: May 3, 2002
Availability: Usually ships in 1-2 business days
|  | | Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
Author: Henk Barendregt
Buy New: $74.95
New (2) Used (5) from $51.99
Sales Rank: 5995545
Category: Book
ASIN: 0387580859
Publication Date: June 1994
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
|
| 
enlarge
| | Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)
Author: Tobias Nipkow
List Price: $79.95
Buy New: $79.15
You Save: $0.80 (1%)
New (12) Used (10) from $47.02
Sales Rank: 6586035
Category: Book
ASIN: 354064301X
Publication Date: April 24, 1998
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Author: Rajeev Gore
List Price: $105.00
Buy New: $76.47
You Save: $28.53 (27%)
New (16) Used (7) from $76.47
Sales Rank: 3709320
Category: Book
ASIN: 3540422544
Publication Date: August 9, 2001
Availability: Usually ships in 1-2 business days
| | |
|
|
|
