本文に飛ぶ

年 〜
年

検索結果 10 件

Diagrammatic representation and inference : 4th international conference, Diagrams 2006 : Stanford, CA, USA, June 28-30, 2006 : proceedings. : Jun 2006, Stanford, CA. (Lecture Notes in Computer Science ; 4045. Lecture Notes in Artificial Intelligence)

Diagrammatic representation and inference : 4th international conference, Diagrams 2006 : Stanford, CA, USA, June 28-30, 2006 : proceedings. : Jun 2006, Stanford, CA. (Lecture Notes in Computer Science ; 4045. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-06-2275>
国立国会図書館
  • 著者標目Barker-Plummer, Dave. Cox, Richard. Swoboda, Nik. ...

Logical reasoning with diagrams & sentences using Hyperproof : pbk

Logical reasoning with diagrams & sentences using Hyperproof : pbk
紙図書
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei AronCSLI Publicationsc2017
全国の図書館
  • 著者標目Barker-Plummer, Dave Barwise, Jon Etchemendy, John...

Language, proof and logic : pbk 2nd ed

Language, proof and logic : pbk 2nd ed
紙図書
Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma PeaseCSLI Publications2011
全国の図書館
  • 著者標目Barker-Plummer, Dave Barwise, Jon Etchemendy, John...

Tarski's world :pbk. : alk. paper Rev. and expanded

Tarski's world :pbk. : alk. paper Rev. and expanded
紙図書
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert LiuCSLI Publicationsc2008
全国の図書館
  • 著者標目Barker-Plummer, Dave Barwise, Jon Etchemendy, John...

Diagrammatic representation and inference : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings

Diagrammatic representation and inference : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings
紙図書
Dave Barker-Plummer, Richard Cox, Nik Swoboda (eds.)Springerc2006
全国の図書館
  • 著者標目Diagrams Barker-Plummer, Dave Cox, Richard Swoboda, Nik

Words, proofs, and diagrams

Words, proofs, and diagrams
紙図書
edited by Dave Barker-Plummer ... [et al.]CSLI Publicationsc2002
全国の図書館
  • 著者標目Barker-Plummer, Dave

Words, proofs, and diagrams : pbk

Words, proofs, and diagrams : pbk
紙図書
edited by Dave Barker-Plummer ... [et al.]CSLI Publicationsc2002
全国の図書館
  • 著者標目Barker-Plummer, Dave

Language proof and logic : pbk

Language proof and logic : pbk
紙図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publicationsc2002
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John Allwein, Gerard Barker-Plummer, Dave Liu, Albert

Language proof and logic : pbk

Language proof and logic : pbk
紙図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publications1999
全国の図書館
  • 著者標目Barwise, Jon Etchemendy, John Allwein, Gerard Barker-Plummer, Dave Liu, Albert

Studies in the theory and applications of diagrams

Studies in the theory and applications of diagrams
紙図書
Dave Barker-Plummer, series editorCSLI Publications
全国の図書館
  • 著者標目Barker-Plummer, Dave

検索結果は以上です。

RSS