大葉大學圖書館 |

登入

回首頁

Set theory for computing : form deci...

Schwartz Jacob T.

Set theory for computing : form decision procedures to declarative programming with sets

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Set theory for computing : form decision procedures to declarative programming with sets/ Schwartz, Jacob T.
作者:	Schwartz Jacob T.
出版者:	New York : Springer, 2001
面頁冊數:	409頁; 24x16公分
標題:	Set theory
標題:	Computable functions
ISBN:	0387951970(精裝)

Set theory for computing : form decision procedures to declarative programming with sets
Schwartz Jacob T.

Set theory for computing : form decision procedures to declarative programming with setsSchwartz, Jacob T. - 1ST ED. - New YorkSpringer2001 - 409頁24x16公分

ISBN: 0387951970(精裝)Subjects--Topical Terms:

157616
Set theory

Set theory for computing : form decision procedures to declarative programming with sets
LDR:00418nam 2200145 450 001 176555
008 100623t2001 us a a 000 0 eng d
020 $a 0387951970(精裝)
035 $a 9207456
040 $b eng $c DYU
041 $a eng
044 $a us
100 $a Schwartz Jacob T. $3 187383
245 1 0 $a Set theory for computing : form decision procedures to declarative programming with sets $c Schwartz, Jacob T.
250 $a 1ST ED.
260 $a New York $b Springer $c 2001
300 $a 409頁 $c 24x16公分
650 $a Set theory $3 157616
650 $a Computable functions $3 136054