Eisinger, Norbert books & textbook
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker (German Edition)
Ohlbach, Hans Jürgen Eisinger, Norbert
Springer Vieweg /2017-09-14 Paperback / 195 Pages
isbn-10: 3662556510 / isbn-13: 9783662556511
[(Reasoning Web: First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, Revised Lectures )] [Author: Norbert Eisinger] [Sep-2005]
Springer-Verlag Berlin and Heidelberg GmbH & Co. K / Unknown Binding
Global Climatic Catastrophes
Budyko, Michael I. Eisinger, Norbert
Springer Berlin Heidelberg /1988-01-01 Paperback / 108 Pages
isbn-10: 3540186476 / isbn-13: 9783540186472
Completeness Confluence and Related Properties of Clause Graph Resolution (Resea
Morgan Kaufmann /1991-07-01 Paperback / 170 Pages
isbn-10: 0273088408 / isbn-13: 9780273088400
