yr 〜
yr

Search results 17

Automated reasoning : 4th international joint conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings. : CASC-J4 competition : 4th IJCAR ATP system competition : Aug 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5195. Lecture Notes in Artificial Intelligence)

Automated reasoning : 4th international joint conference, IJCAR 2008 : Sydney, Australia, August 12-15, 2008 : proceedings. : CASC-J4 competition : 4th IJCAR ATP system competition : Aug 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5195. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-08-2236>
National Diet Library
  • Author HeadingArmando, Alessandro. Baumgartner, Peter. Dowek, Gilles. IJCAR 2008 (2...

Phraseological dictionary : English - German : general vocabulary in technical and scientific texts

Phraseological dictionary : English - German : general vocabulary in technical and scientific texts
Paper図書
Roland Kraus, Peter BaumgartnerSpringerc2011
Other Libraries in Japan
  • Author HeadingKraus, Roland Baumgartner, Peter,

The Potential of e-portfolios in higher education

The Potential of e-portfolios in higher education
Paper図書
Peter Baumgartner, Sabine Zauchner, Reinhard Bauer (eds.)Studienverlagc2009
Other Libraries in Japan
  • Author HeadingBaumgartner, Peter Zauchner, Sabine Bauer, Reinh...

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95 Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.). (Lecture notes in computer science ; 918. Lecture notes in artificial intelligence)

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95 Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.). (Lecture notes in computer science ; 918. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1995.<M15-A9719>
National Diet Library
  • Author Heading...Goar, Germany) Baumgartner, Peter. Hähnle, Reiner. Posegga, Joa...

Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15 2008 ; proceedings

Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15 2008 ; proceedings
Paper図書
Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds)Springerc2008
Other Libraries in Japan
  • Author HeadingArmando, Alessandro Baumgartner, Peter Dowek, Gilles

Wörterbuch moderne Wirtschaft mit Anwendungsbeispielen : Deutsch-Englisch = Dictionary of modern business with model phrases and sentences : English-German

Wörterbuch moderne Wirtschaft mit Anwendungsbeispielen : Deutsch-Englisch = Dictionary of modern business with model phrases and sentences : English-German
Paper図書
von/by Peter BaumgartnerPublicisc2002
Other Libraries in Japan
  • Author HeadingBaumgartner, Peter

Theory reasoning in connection calculi

Theory reasoning in connection calculi
Paper図書
Peter BaumgartnerSpringerc1998
Other Libraries in Japan
  • Author HeadingBaumgartner, Peter

Wörterbuch moderne Wirtschaft mit Anwendungsbeispielen : Deutsch-Englisch von Peter Baumgartner = Dictionary of modern business with model phrases and sentences : English-German / by Peter Baumgartner.

Wörterbuch moderne Wirtschaft mit Anwendungsbeispielen : Deutsch-Englisch von Peter Baumgartner = Dictionary of modern business with model phrases and sentences : English-German / by Peter Baumgartner.
Paper図書
Publicisc2002.<D2-B15>
National Diet LibraryOther Libraries in Japan
  • Author HeadingBaumgartner, Peter, 1946-

Make your own books boxes

Make your own books boxes
Paper図書
PeterBaumgartnerSearch Pressc1996.
Other Libraries in Japan

Rock breaking and mechanical excavation : [proceedings] 14th Canadian Rock Mechanics Symposium / sponsored by Canadian National Committee on Rock Mechanics (CIM) ... [et al.] ; edited by Peter Baumgartner. (CIM special volume ; 30)

Rock breaking and mechanical excavation : [proceedings] 14th Canadian Rock Mechanics Symposium / sponsored by Canadian National Committee on Rock Mechanics (CIM) ... [et al.] ; edited by Peter Baumgartner. (CIM special volume ; 30)
Paper図書
Canadian Institute of Mining and Metallurgy1984.<NA31-57>
National Diet Library
  • Author HeadingBaumgartner, Peter. Canadian Institute of Mining...

Speaking minds : interviews with twenty eminent cognitive scientists : pbk

Speaking minds : interviews with twenty eminent cognitive scientists : pbk
Paper図書
edited by Peter Baumgartner and Sabine PayrPrinceton University Pressc1995
Other Libraries in Japan
  • Author HeadingBaumgartner, Peter Payr, Sabine

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Paper図書
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)Springer Verlagc1995
Other Libraries in Japan
  • Author HeadingTABLEAUX Baumgartner, Peter Hähnle, Reiner Posegga, Joach...

Jurassic sedimentary evolution and nappe emplacement in the Argolis Peninsula (Peloponnesus, Greece) / Peter O. Baumgartner. (Denkschriften der Schweizerischen Naturforschenden Gesellschaft ; Bd. 99 = Mémoires de la Société helvétique des sciences naturelles ; v. 99)

Jurassic sedimentary evolution and nappe emplacement in the Argolis Peninsula (Peloponnesus, Greece) / Peter O. Baumgartner. (Denkschriften der Schweizerischen Naturforschenden Gesellschaft ; Bd. 99 = Mémoires de la Société helvétique des sciences naturelles ; v. 99)
Paper図書
Birkhäuserc1985.<ME671-A5>
National Diet Library
  • Author HeadingBaumgartner, Peter O.

Middle jurassic to lower cretaceous radiolaria of tethys : occurrences, systematics, biochronology

Middle jurassic to lower cretaceous radiolaria of tethys : occurrences, systematics, biochronology
Paper図書
INTERRAD jurassic-Cretaceous Working Group ; edited by Peter O. Baumgartner ・・・ [et al.]Université de Lausannec1995
Other Libraries in Japan
  • Author HeadingBaumgartner, Peter O. Université de Lausanne Int...

Jurassic sedimentary evolution and nappe emplacement in the Argolis Peninsula (Peloponnesus, Greece)

Jurassic sedimentary evolution and nappe emplacement in the Argolis Peninsula (Peloponnesus, Greece)
Paper図書
Peter O. BaumgartnerBirkhäuserc1985
Other Libraries in Japan
  • Author HeadingBaumgartner, Peter O.

I. Über die relative Lage von Singulettund Triplettzuständen in Isomeren des Pyrens. II. Vorversuche zur Absorptionsmessung in Kohlenwasserstoffmatrizen (ETH Diss. ; Nr. 4035)

I. Über die relative Lage von Singulettund Triplettzuständen in Isomeren des Pyrens. II. Vorversuche zur Absorptionsmessung in Kohlenwasserstoffmatrizen (ETH Diss. ; Nr. 4035)
Paper博士論文
Baumgartner, Peter Alexander.Eidgenössische Technische Hochschule Zürich1967.<M-DISE-4035>
National Diet Library
  • Author HeadingBaumgartner, Peter Alexander.

Studien zur generativ-transformationellen Semantosyntax russischer Adverbialkonstruktionen 1. Aufl

Studien zur generativ-transformationellen Semantosyntax russischer Adverbialkonstruktionen 1. Aufl
Paper図書
Gerhard Ressel ; [herausgegeben von Klaus Baumgärtner, Peter von Polenz und Hugo Steger]M. Hueber1974
Other Libraries in Japan

Reached to the end of result.