épuisé

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 1998 - International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, Proceedings

Anglais · Livre de poche

Description

Détails du produit

Edition Springer, Berlin
 
Langues Anglais
Format d'édition Livre de poche
Sortie 01.01.1998
 
EAN 9783540644064
ISBN 978-3-540-64406-4
Pages 325
Poids 446 g
Thèmes Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
Catégorie Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.