Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer[2014]<M17-15-1249>
National Diet Library
  • Author Heading...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)
Paper図書
Springerc2008.<M17-08-2236>
National Diet Library
  • Author HeadingArmando, Alessandro. Baumgartner, Peter. Dowek, Gilles. IJCAR 2008 (2008 : Sydney, A...

The age of algorithms

The age of algorithms
Paper図書
Serge Abiteboul, Gilles DowekCambridge University Pressc2020
Other Libraries in Japan
  • Author HeadingAbiteboul, S. (Serge) Dowek, Gilles

The age of algorithms : pbk

The age of algorithms : pbk
Paper図書
Serge Abiteboul, Gilles DowekCambridge University Press2020
Other Libraries in Japan
  • Author HeadingAbiteboul, 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
Paper図書
Gilles Dowek (ed.)Springerc2014
Other Libraries in Japan
  • Author HeadingDowek, 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)
Microform図書
2001<YCA-NAS 1.26:210853>
National Diet Library
  • Author HeadingDowek, 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
Paper図書
Gilles Dowek ; translated from the French by Pierre Guillot and Marion RomanCambridge University Press2015
Other Libraries in Japan
  • Author HeadingDowek, Gilles Guillot, Pierre Roman, Marion

Proofs and algorithms : an introduction to logic and computability

Proofs and algorithms : an introduction to logic and computability
Paper図書
Gilles DowekSpringerc2011
Other Libraries in Japan
  • Author HeadingDowek, Gilles

Introduction to the theory of programming languages : pbk

Introduction to the theory of programming languages : pbk
Paper図書
Gilles Dowek, Jean-Jacques LévySpringerc2011
Other Libraries in Japan
  • Author HeadingDowek, Gilles Lévy, Jean-Jacques

Principles of programming languages : pbk

Principles of programming languages : pbk
Paper図書
Gilles DowekSpringerc2009
Other Libraries in Japan
  • Author HeadingDowek, Gilles

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

Les métamorphoses du calcul : une étonnante histoire de mathématiques
Paper図書
Gilles DowekPommierc2007
Other Libraries in Japan
  • Author HeadingDowek, 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
Paper図書
Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds)Springerc2008
Other Libraries in Japan
  • Author HeadingArmando, 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
Paper図書
Gilles Dowek ... [et al.], (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting Dowek, Gilles

Reached to the end of result.

RSS