Computational Aspects of an Order-Sorted Logic With Term Declarations - Brossura

Schmidt-Schauss, M.

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

Sinossi

Book by SchmidtSchauss M

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540517057 ISBN 13:  9783540517054
Casa editrice: Springer, 2008
Brossura