สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

| |

Type	Book
ชื่อเรื่อง	Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach
ISBN	9783642376504
	9783642376511
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
รูปเล่ม	1 online resource
หัวเรื่อง	Artificial intelligence (Incl. robotics)
	Artificial intelligence
	Computer imaging, Vision, Pattern recognition and graphics
	Computer imaging, Vision, Pattern recognition and graphics
	Electronic books
	Computer science
	Computer science
	Computer vision
	Logic design
	Logics and meanings of programs
	Mathematical logic and formal languages
	Programming techniques

1	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี 126 ถนนประชาอุทิศ แขวงบางมด เขตทุ่งครุ กรุงเทพฯ 10140 Loading items...