Jump to main content

yr 〜
yr

Search results 4

Logical reasoning with diagrams & sentences using Hyperproof : pbk

Logical reasoning with diagrams & sentences using Hyperproof : pbk
Paper図書
Dave Barker-Plummer, Jon Barwise, & John Etchemendy ; program by Michael Murray and Albert Liu ; with additional programming by Murad Akhter and Andrei AronCSLI Publicationsc2017
Other Libraries in Japan
  • Alternative TitleLogical reasoning with diagrams & sentences
  • Alternative TitleLogical reasoning with diagrams & sentences

Logical reasoning with diagrams

Logical reasoning with diagrams
Paper図書
edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]Oxford University Press1996
Other Libraries in Japan

Studies in logic and computation

Studies in logic and computation
Paper図書
Clarendon Press
Other Libraries in Japan
  • Related Material...ogical system? Logical reasoning with diagrams Compiled labelled deductive s...

CSLI lecture notes

CSLI lecture notes
Paper図書
Center for the Study of Language and Information, Stanford University (CSLI)
Other Libraries in Japan
  • Related Material...uth Hyperproof Logical reasoning with diagrams & sentences using Hyperproof ...

Reached to the end of result.

RSS