Logical foundations of computer science- Tver' 92 Second international symposium Tver, Russia, 20-24 July, 1992

Contributor(s):

Material type: Text

TextPublication details: London: Springer-Verlag, 1992Description: xix, 969pSubject(s):

Item type:

Proceedings

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Proceedings	National Science Library	519.6(082.2) N2 (Browse shelf(Opens below))	Available	174268

Browsing National Science Library shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	519.6 N1 Introductory theory of computer science	519.6(082.2) L8 Recent advances in numerical analysis: Proceedings of a symposium conducted by the mathematics research center the university of Wisconsin-Madison 22-24 May, 1978	519.6(082.2) N2 System modelling and optimization: Proceedings of the 15th IFIP conference Zurich, Switzerland, 2-6 September, 1991	519.6(082.2) N2 Logical foundations of computer science- Tver' 92 Second international symposium Tver, Russia, 20-24 July, 1992	519.6(082.2) N3 Challenges of a generalized system theory	519.6(082.2) N5 Information systems correctness and reusability: Selected papers from the is-core workshop Amsterdam, 26-30 September, 1994	519.6(082.2) Q0 Mathematical and computational models: Recent trends	Next

There are no comments on this title.

to post a comment.