Computational Aspects of an Order-Sorted Logic With Term Declarations - Couverture souple

Schmidt-Schauss, M.

 
9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations

Synopsis

No Computational Aspects of an Order-Sorted Logic with Term Declarations Read a customer review or write one .

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations

Edition présentée

ISBN 10 :  3540517057 ISBN 13 :  9783540517054
Editeur : Springer, 2008
Couverture souple