Filter
Sökt på: Böcker av D. A. Wolfram
Filter
totalt 3 träffar
The Clausal Theory of Types
inbunden,
1993,
Engelska,
ISBN 9780521395380
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a …
Från
373 kr
Bio-psycho-soziale Grundlagen für die Medizin
häftad,
1988,
Tyska,
ISBN 9783540189992
Die Erforschung der bio-psycho-sozialen Grundlagen der Medizin wird zunehmend notwendiger, weil die reine Beschränkung auf körperliche Aspekte von Krankheit nicht mehr dem …
Sustaining Linguistic Diversity
pocket,
2008,
Engelska,
ISBN 9781589011922
In the last three decades, the field of endangered and minority languages has evolved rapidly, moving from the initial dire warnings of linguists to a swift increase in the number …