本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2008.<M17-08-2236>
国立国会図書館
  • 著者標目Armando, 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
紙図書
Roland Kraus, Peter BaumgartnerSpringerc2011
全国の図書館
  • 著者標目Kraus, Roland Baumgartner, Peter,

The Potential of e-portfolios in higher education

The Potential of e-portfolios in higher education
紙図書
Peter Baumgartner, Sabine Zauchner, Reinhard Bauer (eds.)Studienverlagc2009
全国の図書館
  • 著者標目Baumgartner, 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)
紙図書
Springer-Verlagc1995.<M15-A9719>
国立国会図書館
  • 著者標目...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
紙図書
Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds)Springerc2008
全国の図書館
  • 著者標目Armando, 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
紙図書
von/by Peter BaumgartnerPublicisc2002
全国の図書館
  • 著者標目Baumgartner, Peter

Theory reasoning in connection calculi

Theory reasoning in connection calculi
紙図書
Peter BaumgartnerSpringerc1998
全国の図書館
  • 著者標目Baumgartner, 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.
紙図書
Publicisc2002.<D2-B15>
国立国会図書館全国の図書館
  • 著者標目Baumgartner, Peter, 1946-

Make your own books boxes

Make your own books boxes
紙図書
PeterBaumgartnerSearch Pressc1996.
全国の図書館

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)
紙図書
Canadian Institute of Mining and Metallurgy1984.<NA31-57>
国立国会図書館
  • 著者標目Baumgartner, Peter. Canadian Institute of Mining...

Speaking minds : interviews with twenty eminent cognitive scientists : pbk

Speaking minds : interviews with twenty eminent cognitive scientists : pbk
紙図書
edited by Peter Baumgartner and Sabine PayrPrinceton University Pressc1995
全国の図書館
  • 著者標目Baumgartner, 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
紙図書
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)Springer Verlagc1995
全国の図書館
  • 著者標目TABLEAUX 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)
紙図書
Birkhäuserc1985.<ME671-A5>
国立国会図書館
  • 著者標目Baumgartner, Peter O.

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

Middle jurassic to lower cretaceous radiolaria of tethys : occurrences, systematics, biochronology
紙図書
INTERRAD jurassic-Cretaceous Working Group ; edited by Peter O. Baumgartner ・・・ [et al.]Université de Lausannec1995
全国の図書館
  • 著者標目Baumgartner, 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)
紙図書
Peter O. BaumgartnerBirkhäuserc1985
全国の図書館
  • 著者標目Baumgartner, 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)
紙博士論文
Baumgartner, Peter Alexander.Eidgenössische Technische Hochschule Zürich1967.<M-DISE-4035>
国立国会図書館
  • 著者標目Baumgartner, Peter Alexander.

Studien zur generativ-transformationellen Semantosyntax russischer Adverbialkonstruktionen 1. Aufl

Studien zur generativ-transformationellen Semantosyntax russischer Adverbialkonstruktionen 1. Aufl
紙図書
Gerhard Ressel ; [herausgegeben von Klaus Baumgärtner, Peter von Polenz und Hugo Steger]M. Hueber1974
全国の図書館

検索結果は以上です。

RSS