Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science) - Tapa blanda

Schmidt-Schauss, M.

 
9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science)

Sinopsis

Book by SchmidtSchauss M

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations: 395 (Lecture Notes in Computer Science, 395)

Edición Destacada

ISBN 10:  3540517057 ISBN 13:  9783540517054
Editorial: Springer, 2008
Tapa blanda