本文に飛ぶ

年 〜
年

検索結果 7 件

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
全国の図書館
  • 著者標目...urray, Michael Liu, Albert Akhter, Murad Aron, Andrei

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 Liu, Albert Murray, Michael Pease, Emma

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 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 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

Artificial intelligence hardware design : challenges and solutions

Artificial intelligence hardware design : challenges and solutions
紙図書
Albert Chun Chen Liu, and Oscar Ming Kin LawWiley-IEEE pressc2021
全国の図書館
  • 著者標目Liu, 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
紙図書
editors, Kopin Liu, Albert WagnerWorld Scientificc1995
全国の図書館

検索結果は以上です。

RSS