Jump to main content

yr 〜
yr

Search results 13

2014 IEEE 27th computer security foundations symposium : (CSF 2014) : Vienna, Austria : 19-22 July 2014 : FLoC 2014 : logic in computer science/federated logic conference : VSL : Vienna summer of logic : Jul 2014, Vienna, Austria.

2014 IEEE 27th computer security foundations symposium : (CSF 2014) : Vienna, Austria : 19-22 July 2014 : FLoC 2014 : logic in computer science/federated logic conference : VSL : Vienna summer of logic : Jul 2014, Vienna, Austria.
Paper図書
IEEE[2014]<M17-16-1064>
National Diet Library
  • Author HeadingKurt Godel Society.

KR : proceedings, fourteenth international conference on principles of knowledge representation and reasoning : Vienna summer of logic : Jul 2014, Vienna, Austria.

KR : proceedings, fourteenth international conference on principles of knowledge representation and reasoning : Vienna summer of logic : Jul 2014, Vienna, Austria.
Paper図書
AAAI Press[2014]<M17-14-3283>
National Diet Library
  • Author HeadingKurt Godel Society.

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)
Paper図書
Springer[2014]<M17-15-1248>
National Diet Library
  • Author HeadingITP 2014 (2014 : Vienna, Austria) Klein, Gerwin. Gamboa, Ruben. Kurt Godel Society.

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)
Paper図書
Springer[2014]<M17-15-1518>
National Diet Library
  • Author Heading...m, Roderick P. Kurt Godel Society.

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)
Paper図書
Springer[2014]<M17-15-1591>
National Diet Library
  • Author HeadingSAT 2014 (2014 : Vienna, Austria) Sinz, Carsten. Egly, Uwe, 1960- Kurt Godel Society.

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...ch, Christoph. Kurt Godel Society. VSL (Conference) (2014 : Vie...

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...Dowek, Gilles. Kurt Godel Society. International Conference on ...

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Godel colloquium, KGC 2003 : Vienna, Austria, August 25-30, 2003 : proceedings. : Aug 2003, Vienna, Austria. (Lecture Notes in Computer Science ; 2803)

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Godel colloquium, KGC 2003 : Vienna, Austria, August 25-30, 2003 : proceedings. : Aug 2003, Vienna, Austria. (Lecture Notes in Computer Science ; 2803)
Paper図書
Springerc2003.<M17-04-965>
National Diet Library
  • Author HeadingKurt Godel Society. Baaz, Matthias. Makowsky, Jo...

Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria. (Lecture Notes in Computer Science ; 1289)

Computational logic and proof theory : 5th Kurt Godel colloquium : Aug 1997, Vienna, Austria. (Lecture Notes in Computer Science ; 1289)
Paper図書
Springer1997.<M17-00-0464>
National Diet Library
  • Author HeadingKurt Godel Society.

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlag1993.<M15-A9002>
National Diet Library
  • Note (General)Sponsored by Kurt Gödel Society. Includes bibliographical ref...
  • Author Heading...Daniele, 1946- Kurt Gödel Society.

Collegium Logicum : Annals of the Kurt-Gödel-Society v. 1 v. 2

Collegium Logicum : Annals of the Kurt-Gödel-Society v. 1 v. 2
Paper図書
Springer-Verlagc1995-
Other Libraries in Japan
  • Author HeadingKurt Gödel Society

Collegium logicum : annals of the Kurt-Gödel-Society

Collegium logicum : annals of the Kurt-Gödel-Society
Paper雑誌雑誌タイトル
Springer-Verlagc1995-
Other Libraries in Japan
  • Author HeadingKurt Gödel Society
  •  
  •  
  •  
  •  
  •  
    •  

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings : us : gw

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings : us : gw
Paper図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Note (General)Sponsored by Kurt Gödel Society Includes bibliographical refe...
  • Author HeadingKurt Gödel Colloquium Gottlob, Georg Leitsch, Alexander Mundici, Daniele Kurt Gödel Society

Reached to the end of result.

RSS