本文に飛ぶ

年 〜
年

検索結果 13 件

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
紙図書
Springer[2014]<M17-15-1249>
国立国会図書館
  • 著者標目...enna, Austria) Dowek, Gilles. Kurt Godel Society. Internat...

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 (2008 : Sydney, A...

The age of algorithms

The age of algorithms
紙図書
Serge Abiteboul, Gilles DowekCambridge University Pressc2020
全国の図書館
  • 著者標目Abiteboul, S. (Serge) Dowek, Gilles

The age of algorithms : pbk

The age of algorithms : pbk
紙図書
Serge Abiteboul, Gilles DowekCambridge University Press2020
全国の図書館
  • 著者標目Abiteboul, S. (Serge) Dowek, Gilles

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings
紙図書
Gilles Dowek (ed.)Springerc2014
全国の図書館
  • 著者標目Dowek, Gilles

Tactical conflict detection and resolution in a 3-D airspace [microform] / Gilles Dowek, Cesar Muñoz and Alfons Geser ; [prepared ... under contract NAS1-97046] (ICASE report ; no. 2001-7) ([NASA contractor report] ; NASA/CR-2001-210853)

Tactical conflict detection and resolution in a 3-D airspace [microform] / Gilles Dowek, Cesar Muñoz and Alfons Geser ; [prepared ... under contract NAS1-97046] (ICASE report ; no. 2001-7) ([NASA contractor report] ; NASA/CR-2001-210853)
マイクロ図書
2001<YCA-NAS 1.26:210853>
国立国会図書館
  • 著者標目Dowek, Gilles Muõz, Cesar Geser, Alfons Ins...

Computation, proof, machine : mathematics enters a new age : hardback

Computation, proof, machine : mathematics enters a new age : hardback
紙図書
Gilles Dowek ; translated from the French by Pierre Guillot and Marion RomanCambridge University Press2015
全国の図書館
  • 著者標目Dowek, Gilles Guillot, Pierre Roman, Marion

Proofs and algorithms : an introduction to logic and computability

Proofs and algorithms : an introduction to logic and computability
紙図書
Gilles DowekSpringerc2011
全国の図書館
  • 著者標目Dowek, Gilles

Introduction to the theory of programming languages : pbk

Introduction to the theory of programming languages : pbk
紙図書
Gilles Dowek, Jean-Jacques LévySpringerc2011
全国の図書館
  • 著者標目Dowek, Gilles Lévy, Jean-Jacques

Principles of programming languages : pbk

Principles of programming languages : pbk
紙図書
Gilles DowekSpringerc2009
全国の図書館
  • 著者標目Dowek, Gilles

Les métamorphoses du calcul : une étonnante histoire de mathématiques

Les métamorphoses du calcul : une étonnante histoire de mathématiques
紙図書
Gilles DowekPommierc2007
全国の図書館
  • 著者標目Dowek, Gilles

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

Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
紙図書
Gilles Dowek ... [et al.], (eds.)Springerc1996
全国の図書館
  • 著者標目International Workshop on Higher-Order Algebra, Logic, and Term Rewriting Dowek, Gilles

検索結果は以上です。

RSS