کتاب های Jochen Pfalzgraf (eds.)
![Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings](http://cdn.ketabkoo.com/covers/0/92853-n.jpg)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.), 1996![Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings](http://cdn.ketabkoo.com/covers/0/92854-n.jpg)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.), 1996![Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings](http://cdn.ketabkoo.com/covers/0/92855-n.jpg)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.), 1996![Automated Practical Reasoning: Algebraic Approaches](http://cdn.ketabkoo.com/covers/4/416613-n.jpg)