Articles liés à Automated Reasoning With Analytic Tableaux and Related...
Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998 : Proceedings - Couverture souple
Synopsis
Rare Book
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition1998
- ISBN 10 3540644067
- ISBN 13 9783540644064
- ReliureBroché
- Langueanglais
- Nombre de pages335
- ÉditeurSwart Harrie De
Résultats de recherche pour Automated Reasoning With Analytic Tableaux and Related...
Image d'archives
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Pro
Edité par
Springer, 1998
ISBN 10 : 3540644067
ISBN 13 : 9783540644064
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. N° de réf. du vendeur G3540644067I4N00
Quantité disponible : 1 disponible(s)