Generalized distance functions in the theory of computation /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Seda, Anthony Karel.
Άλλοι συγγραφείς:	Hitzler, Pascal.
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	Denotational semantics Fixed-point theorems Generalized distance functions Logic programming Stable model Supported model Topology Ultra-metrics
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt


LEADER	00997nam a2200337 4500
001	DLU110117314
005	##20101221
040	#	#	\|a DLU \|b eng
041	#	#	\|a eng
044	#	#	\|a uk
100	#	#	\|a Seda, Anthony Karel.
245	#	#	\|a Generalized distance functions in the theory of computation / \|c Anthony Karel Seda, Pascal Hitzler.
653	#	#	\|a Denotational semantics
653	#	#	\|a Fixed-point theorems
653	#	#	\|a Generalized distance functions
653	#	#	\|a Logic programming
653	#	#	\|a Stable model
653	#	#	\|a Supported model
653	#	#	\|a Topology
653	#	#	\|a Ultra-metrics
700	#	#	\|a Hitzler, Pascal.
773	#	#	\|t The Computer Journal \|g Vol. 53, no. 4 (May 2010), p. 443-464
920	#	#	\|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
994	#	#	\|a DLU
900	#	#	\|a True
911	#	#	\|a Trương Bảo Trâm Anh
925	#	#	\|a G
926	#	#	\|a A
927	#	#	\|a BB
980	#	#	\|a Thư viện Trường Đại học Đà Lạt

Παρόμοια τεκμήρια