Code: 01565227

Computational Aspects of an Order-Sorted Logic with Term Declarations

Name: Computational Aspects of an Order-Sorted Logic with Term Declarations
Brand: Springer, Berlin
SKU: 01565227
Price: 56.68 EUR
Availability: InStock

by Manfred Schmidt-Schauß

Language: English
Binding: Paperback
Number of pages: 174
Publisher: Springer, Berlin, 2007
More about this

56.68 €

Low in stock at our supplier
Shipping in 10 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
64.12 €
Buy
Conscience on Trial
68.60 € -10 %
Buy
Modernizing George Eliot
159.85 €
Buy
Marley, A Dog Like No Other
8.86 € -22 %
Buy
Sandwich Structures 7: Advancing with Sandwich Structures and Materials
363.76 €
Buy
The Pearl Necklace Tantra: Upadesha Instructions of the Great Perfection
27.62 € -1 %
Buy
Hanging In
25.17 € -19 %
Buy
Extension and Interpolation of Linear Operators and Matrix Functions
62.08 €
Buy
DNA Relaxases, the Key Enzymes of Bacterial Conjugation
55.35 €
Buy
Achieving Competence, Success and Excellence in Teaching
71.97 €
Buy
Chemistry and Biochemistry of the Amino Acids
110.41 €
Buy
Sebastopol - Erster Band
54.23 €
Buy
Lois Tobio : o diplomatico que quiso e soubo exercer de galego no mundo
13.86 € -5 %
Buy
Populismo en Latinoamerica su implicancia en la seguridad y defensa
33.43 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Computational Aspects of an Order-Sorted Logic with Term Declarations

Book details
Synopsis
Trending among others

You get 141 loyalty points

Book synopsis

Die steigende Zahl von Publikationen und internationalen Kongressen über die schizoaffektiven Psychosen waren Anlaß, dieses Thema erstmalig ausführlich und umfassend in Buchform darzustellen. Namhafte Wissenschaftler aus dem In- und Ausland vermitteln praktische, klinisch relevante Informationen über die Diagnose, den Verlauf, die Therapie und die Prophylaxe der schizoaffektiven Psychosen. Angesprochen werden auch genetische und soziale Aspekte sowie Zukunftsperspektiven.

Book details

Book category Books in English Mathematics & science Mathematics Mathematical foundations

56.68 €

Full title: Computational Aspects of an Order-Sorted Logic with Term Declarations
Author: Manfred Schmidt-Schauß
Language: English
Binding: Paperback
Number of pages: 174
EAN: 9783540517054
ISBN: 3540517057
ID: 01565227
Publisher: Springer, Berlin
Weight: 287 g
Dimensions: 235 × 155 × 10 mm
Published: 2007