Jump to main content

yr 〜
yr

Search results 8

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library
  • Author Heading...hane P., 1967- Kapur, Deepak. Weidenbach, Christoph. Kurt ...

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. : ASCM meetings : Dec 2007, Singapore. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)

Computer mathematics : 8th Asian symposium, ASCM 2007 : Singapore, December 15-17, 2007 : revised and invited papers. : ASCM meetings : Dec 2007, Singapore. (Lecture Notes in Computer Science ; 5081. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-09-1027>
National Diet Library
  • Author Heading... of Computing. Kapur, Deepak. Asian Symposium on Computer ...

Computer mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, revised and invited papers

Computer mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, revised and invited papers
Paper図書
Deepak Kapur (ed.)Springerc2008
Other Libraries in Japan
  • Author HeadingAsian Symposium on Computer Mathematics Kapur, Deepak

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.). (Lecture notes in computer science ; 607. Lecture notes in artificial intelligence)

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.). (Lecture notes in computer science ; 607. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8235>
National Diet Library
  • Author Heading...Springs, N.Y.) Kapur, Deepak.

Towards a Theory for Abstract Data Types

Towards a Theory for Abstract Data Types
Microform博士論文
Kapur, Deepak.Massachusetts Institute of Technology1980.<LS-DI-MIT-80-139>
National Diet Library
  • Author HeadingKapur, Deepak.

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings : gw : us

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings : gw : us
Paper図書
D. Kapur (ed.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Kapur, Deepak

Symbolic and numerical computation for artificial intelligence

Symbolic and numerical computation for artificial intelligence
Paper図書
edited by Bruce Randall Donald, Deepak Kapur, Joseph L. MundyAcademic Pressc1992
Other Libraries in Japan
  • Author HeadingKapur, Deepak Workshop on the Integration o...

Geometric reasoning 1st MIT Press ed

Geometric reasoning 1st MIT Press ed
Paper図書
edited by Deepak Kapur and Joseph L. MundyMIT Press1989, c1988
Other Libraries in Japan
  • Author HeadingKapur, Deepak Mundy, Joseph L International...

Reached to the end of result.

RSS