Articoli correlati a Computational Aspects of an Order-Sorted Logic With...

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
Brossura
ISBN 10: 0387517057 ISBN 13: 9780387517056
Casa editrice: Springer Verlag, 1990

Sinossi

Book by SchmidtSchauss M

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

Editore
Springer Verlag
Data di pubblicazione
1990
Lingua
Inglese
ISBN 10 
0387517057
ISBN 13 
9780387517056
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania