---

＜電子ブック＞
A Relational Theory of Computing / by John G. Sanderson
(Lecture Notes in Computer Science. ISSN:16113349 ; 82)

版	1st ed. 1980.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1980
本文言語	英語
大きさ	VI, 147 p : online resource
著者標目	*Sanderson, John G author SpringerLink (Online service)
件　名	LCSH:Algorithms FREE:Algorithms
一般注記	The components of a relational calculus -- A comparison of some relational calculi -- Properties of relators -- The extension of a calculus -- Types and structures -- Programs -- Assignment and efficiency -- Metatheory -- Conclusions HTTP:URL=https://doi.org/10.1007/3-540-09987-5

 類似資料