Automata
|
|
|
| |
 enlarge
| | Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. ... / Lecture Notes in Artificial Intelligence)
Author: Peter Baumgartner
List Price: $74.95
Buy New: $70.19
You Save: $4.76 (6%)
New (14) Used (12) from $32.29
Sales Rank: 5755127
Category: Book
ASIN: 3540593381
Publication Date: June 8, 1995
Availability: Usually ships in 1-2 business days
|  | | Automata Networks: Litp Spring School on Theoretical Computer Science (Lecture Notes in Computer Science)
Author: C. Choffrut
Buy New: $82.09
New (1) Used (4) from $3.53
Category: Book
ASIN: 0387194444
Publication Date: June 1988
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | Handbook of Tableau Methods
Author: M. D'agostino
List Price: $343.00
Buy New: $327.33
You Save: $15.67 (5%)
New (14) Used (5) from $327.33
Sales Rank: 3087344
Category: Book
ASIN: 0792356276
Publication Date: March 31, 1999
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications)
Author: Wu Wen-tsun
List Price: $179.00
Buy New: $137.67
You Save: $41.33 (23%)
New (18) Used (7) from $137.67
Sales Rank: 3459513
Category: Book
ASIN: 079235835X
Publication Date: January 1, 2000
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings (Lecture Notes in Computer Science)
Author: Jacques Calmet
List Price: $82.95
Buy New: $77.55
You Save: $5.40 (7%)
New (14) Used (6) from $23.00
Sales Rank: 3739901
Category: Book
ASIN: 3540616977
Publication Date: October 22, 1996
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Handbook of Automated Reasoning
Author: J. Alan Robinson
List Price: $135.00
Buy New: $65.98
You Save: $69.02 (51%)
New (4) Used (3) from $59.98
Avg. Customer Rating:  2 reviews
Sales Rank: 2140819
Category: Book
ASIN: 0262182211
Publication Date: September 1, 2001
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | 11th Annual IEEE Symposium on Logic in Computer Science: July 27-30, 1996 New Brunswick, New Jersey : Proceedings (Symposium on Logic in Computer Science//Proceedings)
Author: Ieee
Buy New: $100.00
New (2) Used (1) from $75.00
Sales Rank: 7203291
Category: Book
ASIN: 0818674636
Publication Date: April 1997
Shipping: Eligible for Super Saver Shipping
Availability: In stock soon. Order now to get in line. First come, first served.
| 
enlarge
| | Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)
Author: Roy Dyckhoff
List Price: $84.95
Buy New: $84.10
You Save: $0.85 (1%)
New (14) Used (7) from $33.05
Sales Rank: 4820470
Category: Book
ASIN: 354067697X
Publication Date: July 26, 2000
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | Automata, Languages and Programming
Author: P.g. Spirakis
List Price: $121.00
Buy New: $76.20
You Save: $44.80 (37%)
New (5) Used (4) from $28.00
Sales Rank: 6694060
Category: Book
ASIN: 3540422870
Publication Date: August 9, 2001
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Term Indexing (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Author: Peter Graf
List Price: $69.95
Buy New: $69.94
You Save: $0.01
New (10) Used (4) from $17.93
Sales Rank: 2791160
Category: Book
ASIN: 3540610405
Publication Date: March 27, 1996
Availability: Usually ships in 1-2 business days
|
|
|
|
