ヘルプ
ヘルプ

検索結果 29 件

Theorem proving in higher order logics -- : Theorem proving in higher order logics : International conference : 12th : Sep 1999, Nice, France. (Lecture Notes in Computer Science ; 1690)

Theorem proving in higher order logics -- : Theorem proving in higher order logics : International conference : 12th : Sep 1999, Nice, France. (Lecture Notes in Computer Science ; 1690)
紙図書
Springer1999.<M17-01-0608>
国立国会図書館
  • 一般注記...as TPHOLs '99. Index term: higher order logics ; theorem proving ; TPHOLs. BL shelfmark: 5180....
  • 並列タイトル等（連結）Also known as TPHOLs '99 higher order logics ; theorem proving ; TPHOLs
  • 並列タイトル等Also known as TPHOLs '99 higher order logics ; theorem proving ; TPHOLs

Theorem proving in higher order logics -- : Theorem proving in higher order logics : International conference : 11th : Sep 1998, Canberra, Australia. (Lecture Notes in Computer Science ; 1479)

Theorem proving in higher order logics -- : Theorem proving in higher order logics : International conference : 11th : Sep 1998, Canberra, Australia. (Lecture Notes in Computer Science ; 1479)
紙図書
Springer1998.<M17-01-0408>
国立国会図書館
  • 一般注記...as TPHOLs '98. Index term: higher order logics ; theorem proving ; TPHOLs. BL shelfmark: 5180....
  • 並列タイトル等（連結）Also known as TPHOLs '98 higher order logics ; theorem proving ; TPHOLs
  • 並列タイトル等Also known as TPHOLs '98 higher order logics ; theorem proving ; TPHOLs

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009 : Munich, Germany, August 17-20, 2009 : proceedings. : Aug 2009, Munich, Germany. (Lecture Notes in Computer Science ; 5674)

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009 : Munich, Germany, August 17-20, 2009 : proceedings. : Aug 2009, Munich, Germany. (Lecture Notes in Computer Science ; 5674)
紙図書
Springerc2009.<M17-10-1697>
国立国会図書館
  • 件名Automatic Theorem Proving. Logic Programming. Automatisches Beweisverfahr...
  • 一般注記...ly changes continents each year to (...) " -- p...
  • タイトル標目Lecture Notes in Computer Science / Theoretica...

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings. : Aug 2008, Montreal, Canada. (Lecture Notes in Computer Science ; 5170)

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings. : Aug 2008, Montreal, Canada. (Lecture Notes in Computer Science ; 5170)
紙図書
Springerc2008.<M17-08-2040>
国立国会図書館
  • 一般注記Papers. "The TPHOLs conference traditionally changes continents each year to (...) " -- p...

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings. : 20th international conference on theorem proving in higher-order logics : Sep 2007, Kaiserslautern, Germany. (Lecture Notes in Computer Science ; 4732)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings. : 20th international conference on theorem proving in higher-order logics : Sep 2007, Kaiserslautern, Germany. (Lecture Notes in Computer Science ; 4732)
紙図書
Springerc2007.<M17-07-2734>
国立国会図書館
  • 件名Automatic theorem proving -- Congresses. Logic programming -- Congresses.
  • 一般注記...ly changes continent each year (...) " -- pref.

Theorem proving in higher order logics : 10th International conference : Aug 1997, Murray Hill, NJ. (Lecture Notes in Computer Science ; 1275)

Theorem proving in higher order logics : 10th International conference : Aug 1997, Murray Hill, NJ. (Lecture Notes in Computer Science ; 1275)
紙図書
Springer1997.<M17-00-0460>
国立国会図書館
  • 一般注記...as TPHOLs '97. Index term: higher order logics ; theorem proving ; TPHOLs. BL shelfmark: 5180....
  • 並列タイトル等（連結）Also known as TPHOLs '97 higher order logics ; theorem proving ; TPHOLs
  • 並列タイトル等Also known as TPHOLs '97 higher order logics ; theorem proving ; TPHOLs

Theorem proving in higher order logics : 9th International conference : Aug 1996, Turku, Finland. (Lecture Notes in Computer Science ; 1125)

Theorem proving in higher order logics : 9th International conference : Aug 1996, Turku, Finland. (Lecture Notes in Computer Science ; 1125)
紙図書
Springer-Verlag1996.<M17-00-0364>
国立国会図書館
  • 一般注記...as TPHOLs '96. Index term: higher order logics ; theorem proving ; TPHOLs. BL shelfmark: 5180....
  • 並列タイトル等（連結）Also known as TPHOLs '96 higher order logics ; theorem proving ; TPHOLs
  • 並列タイトル等Also known as TPHOLs '96 higher order logics ; theorem proving ; TPHOLs

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005 : Oxford, UK, August 22-25, 2005 : proceedings. : Aug 2005, Oxford, UK. (Lecture Notes in Computer Science ; 3603)

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005 : Oxford, UK, August 22-25, 2005 : proceedings. : Aug 2005, Oxford, UK. (Lecture Notes in Computer Science ; 3603)
紙図書
Springerc2005.<M17-06-47>
国立国会図書館
  • 件名Automatic theorem proving -- Congresses.

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004 : Park City, Utah, USA, September 14-17, 2004 : proceedings. : Sep 2004, Park City, UT. (Lecture Notes in Computer Science ; 3223)

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004 : Park City, Utah, USA, September 14-17, 2004 : proceedings. : Sep 2004, Park City, UT. (Lecture Notes in Computer Science ; 3223)
紙図書
Springerc2004.<M17-05-108>
国立国会図書館
  • 件名Automatic theorem proving -- Congresses.
  • 著者標目Slind, Konrad. Bunker, Annette. Go...

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003 : Rome, Italy, September 8-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2758)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003 : Rome, Italy, September 8-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2758)
紙図書
Springerc2003.<M17-04-1048>
国立国会図書館
  • 件名Automatic theorem proving -- Congresses.
  • 著者標目Basin, David. Wolff, Burkhart, 1962...

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August, 2002 : proceedings. : Aug 2002, Hampton, VA. (Lecture Notes in Computer Science ; 2410)

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA, USA, August, 2002 : proceedings. : Aug 2002, Hampton, VA. (Lecture Notes in Computer Science ; 2410)
紙図書
Springer2002.<M17-03-143>
国立国会図書館
  • 件名Automatic theorem proving -- Congresses.
  • 一般注記Papers. Related URL: http: //link.springer-ny.com/link/service/series/0558/tocs/t24...
  • タイトル標目Lecture notes in computer science ; 2410.

Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
紙図書
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)Springerc2004
全国の図書館
  • 件名Automatic theorem proving -- Congresses
  • 件名（識別子）Automatic theorem proving -- Congresses
  • 一般注記Includes bibliographical references and index

Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
紙図書
David Basin, Burkhart Wolff (eds.)Springerc2003
全国の図書館
  • 件名Automatic theorem proving -- Congresses
  • 件名（識別子）Automatic theorem proving -- Congresses
  • 一般注記Includes bibliographical references and index

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001 : Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings. : Sep 2001, Edinburgh, UK. (Lecture Notes in Computer Science ; 2152)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001 : Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings. : Sep 2001, Edinburgh, UK. (Lecture Notes in Computer Science ; 2152)
紙図書
Springerc2001.<M17-03-2528>
国立国会図書館
  • 件名Automatic theorem proving -- Congresses. Logic, Symboli...
  • 著者標目University of Edinburgh. Division of Informatics. Boul......tment of Computing Science. TPHO......ence (2001 : Edinburgh, Scotland)

Theorem proving in higher order logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings

Theorem proving in higher order logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings
紙図書
Stefan Berghofer ... [et al.] (eds.)Springerc2009
全国の図書館
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science
  • 著者標目Berghofer, Stefan International Conference on Theorem Proving in Higher Order Logics, TPHOLs (22th : Germany)

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, proceedings : pbk.

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, proceedings : pbk.
紙図書
Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar (eds.)Springerc2008
全国の図書館
  • 一般注記International conference proceedings Includes bibliographical referen...
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings
紙図書
Klaus Schneider, Jens Brandt (eds.)Springerc2007
全国の図書館
  • 件名Automatic theorem proving -- Congresses
  • 件名（識別子）Automatic theorem proving -- Congresses
  • 一般注記" ... the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007)"--Pref Includes bibliogr......references and index

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
紙図書
Joe Hurd, Tom Melham (eds.)Springerc2005
全国の図書館
  • 一般注記Includes bibliographical references and index
  • 関連情報Lecture notes in computer science
  • 掲載誌Lecture notes in computer science

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
紙図書
Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)Springerc2002
全国の図書館
  • 件名Automatic theorem proving -- Congresses
  • 件名（識別子）Automatic theorem proving -- Congresses
  • 一般注記Includes bibliographical references and index

Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings

Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
紙図書
Richard J. Boulton, Paul B. Jackson (eds.)Springerc2001
全国の図書館
  • 件名Automatic theorem proving -- Congresses
  • 件名（識別子）Automatic theorem proving -- Congresses
  • 一般注記Includes bibliographical references and index