<![CDATA[Library of Tbilisi State Medical University Search for 'an:1946 and se:EATCS monographs on theoretical computer science']]>

<![CDATA[Library of Tbilisi State Medical University Search for 'an:1946 and se:EATCS monographs on theoretical computer science']]> http://medlib.gela.org.ge/cgi-bin/koha/opac-search.pl?q=ccl=an%3A1946%20and%20se%3AEATCS%20monographs%20on%20theoretical%20computer%20science&format=rss2 2 0 50 Temporal logic of programs ISBN 0387170308 http://medlib.gela.org.ge/cgi-bin/koha/opac-detail.pl?biblionumber=14113

By Kroger, Fred. Birmingham: Springer-Verlag,, 1987 . 146p. 0387170308

Place Hold on Temporal logic of programs

]]> http://medlib.gela.org.ge/cgi-bin/koha/opac-detail.pl?biblionumber=14113 Computability ISBN 9783642699658 http://medlib.gela.org.ge/cgi-bin/koha/opac-detail.pl?biblionumber=14116

By Weihrauch, K.. Berlin : Springer-Verlag,, 1987 . 517p. 9783642699658

Place Hold on Computability

]]> http://medlib.gela.org.ge/cgi-bin/koha/opac-detail.pl?biblionumber=14116