Thailand Union Catalog
  • ค้นหา
  • คำค้น
    • Language
    eng
    Publish year
    1990
    Subject
    Predicate calculus

ผลการค้นหา

Found: 2  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
Select Page   |  Deselect Page   |   ส่งออก   |  เคลียร์
1
image
ประเภทสื่อ Book
ชื่อเรื่องPredicate calcalus and program semantics / Edsger W. Dijkstre, Carel S. Scholten.
ชื่อผู้แต่งDijkKstra, Edsger W. (Edsger Wybe)
พิมพลักษณ์New York : Springer-Verlag, c1990.
เลขเรียกQA9.35 .D55 1990
ห้องสมุดมหาวิทยาลัยเกษตรศาสตร์
2
image
ประเภทสื่อ Book
ชื่อเรื่องTechnical methods in philosophy / John L. Pollock.
ชื่อผู้แต่งPollock, John L.
พิมพลักษณ์Boulder, Colo. : Westview Press, c1990.
เลขเรียก160 P776T
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย
© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา
| | Help & Instruction