Jump to main content

yr 〜
yr

Search results 11

Limits of AI - theoretical, practical, ethical

Limits of AI - theoretical, practical, ethical
Paper図書
Klaus Mainzer, Reinhard KahleSpringerc2024
Other Libraries in Japan
  • Author HeadingMainzer, Klaus Kahle, Reinhard

Axiomatic thinking vol.1

Axiomatic thinking vol.1
Paper図書
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga, editorsSpringerc2022
Other Libraries in Japan
  • Author HeadingFerreira, Fernando Kahle, Reinhard Sommaruga, Giovanni

The Legacy of Kurt Schütte

The Legacy of Kurt Schütte
Paper図書
Reinhard Kahle, Michael Rathjen, editorsSpringerc2020
Other Libraries in Japan
  • Author HeadingKahle, Reinhard Rathjen, Michael

Gentzen's centenary : the quest for consistency : pbk.

Gentzen's centenary : the quest for consistency : pbk.
Paper図書
Reinhard Kahle, Michael Rathjen editorsSpringerc2015
Other Libraries in Japan
  • Author HeadingKahle, Reinhard Rathjen, Michael

Advances in proof theory

Advances in proof theory
Paper図書
Reinhard Kahle, Thomas Strahm, Thomas Studer, editorsBirkhäuserc2016
Other Libraries in Japan
  • Author HeadingKahle, Reinhard Strahm, Thomas Studer, Thomas

Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings : pbk

Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings : pbk
Paper図書
Erich Grädel, Reinhard Kahle (eds.)Springerc2009
Other Libraries in Japan
  • Author Heading... Grädel, Erich Kahle, Reinhard European Association for Comp...

Intensionality

Intensionality
Paper図書
edited by Reinhard KahleA K Petersc2005
Other Libraries in Japan
  • Author HeadingKahle, Reinhard

Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL : Coimbra, Portugal, September 7-11, 2009 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 5771)

Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL : Coimbra, Portugal, September 7-11, 2009 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 5771)
Paper図書
Springerc2009.<M17-10-1646>
National Diet Library
  • Author HeadingGrädel, Erich, 1958- Kahle, Reinhard, 1967- CSL 2009 (2009 : Coimb...

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Paper図書
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingProof Theory in Computer Science Kahle, Reinhard Schroeder-Heister, Peter Jose...

Wissen 2.0 für die Bildung : wie Wikipedia und Co. unsere Kultur verändern

Wissen 2.0 für die Bildung : wie Wikipedia und Co. unsere Kultur verändern
Paper図書
Ralf Caspary (Hg.)Franz Steiner2011
Other Libraries in Japan

Proof theory in computer science : international seminar, PTCS 2001 : Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings. : Oct 2001, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2183)

Proof theory in computer science : international seminar, PTCS 2001 : Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings. : Oct 2001, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2183)
Paper図書
Springerc2001.<M17-03-2295>
National Diet Library
  • Author HeadingKahle, Reinhard, 1967- Schroeder-Heister, Pet...

Reached to the end of result.

RSS