yr 〜
yr

Search results 7

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
  • Author Heading...urray, Michael Liu, Albert Akhter, Murad Aron, Andrei

Language, proof and logic : pbk 2nd ed

Language, proof and logic : pbk 2nd ed
Paper図書
Dave Barker-Plummer, Jon Barwise & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma PeaseCSLI Publications2011
Other Libraries in Japan
  • Author HeadingBarker-Plummer, Dave Barwise, Jon Etchemendy, John Liu, Albert Murray, Michael Pease, Emma

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

Tarski's world :pbk. : alk. paper Rev. and expanded
Paper図書
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert LiuCSLI Publicationsc2008
Other Libraries in Japan
  • Author HeadingBarker-Plummer, Dave Barwise, Jon Etchemendy, John Liu, Albert

Language proof and logic : pbk

Language proof and logic : pbk
Paper図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publicationsc2002
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John Allwein, Gerard Barker-Plummer, Dave Liu, Albert

Language proof and logic : pbk

Language proof and logic : pbk
Paper図書
Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert LiuCSLI Publications1999
Other Libraries in Japan
  • Author HeadingBarwise, Jon Etchemendy, John Allwein, Gerard Barker-Plummer, Dave Liu, Albert

Artificial intelligence hardware design : challenges and solutions

Artificial intelligence hardware design : challenges and solutions
Paper図書
Albert Chun Chen Liu, and Oscar Ming Kin LawWiley-IEEE pressc2021
Other Libraries in Japan
  • Author HeadingLiu, Albert Chun-Chen Law, Oscar Ming Kin

The chemical dynamics and kinetics of small radicals pt. 1 : pbk. : cover pt. 2 : pbk. : cover

The chemical dynamics and kinetics of small radicals pt. 1 : pbk. : cover pt. 2 : pbk. : cover
Paper図書
editors, Kopin Liu, Albert WagnerWorld Scientificc1995
Other Libraries in Japan

Reached to the end of result.