Logic Programming and Knowledge Representation: Third International ...
Luis Moniz Pereira & Teodor C. Przymusinski
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Conventional Gestures: Meaning and Methodology
Richard L. Epstein
Business Process Management: 5th International Conference, BPM ...
Gustavo Alonso & Peter Dadam & Michael Rosemann
Nachhaltigkeit: 111 Fragen Und Antworten
Katja Mayer
Der Magnetmotor: Freie Energie selber bauen
Patrick Weinand-Diez & Sonja Weinand