Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela

By:

Biela, Andrzej

Series: Prace naukowe Uniwersytetu âSlñaskiego w Katowicach ; nr. 1901Publication details: Katowice Wydawn. Uniwersytetu âSlñaskiego 2000Description: 121 p ill 25 cmISBN:

8322610238

Subject(s):

DDC classification:

511.3

Other classification:

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 35342 (Browse shelf(Opens below))	Available		0002982

Browsing IMAR shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	II 35339 Algebraic models of disconnected equivariant spaces	II 35340 Mathematical, econometrical and computational methods in finance and isurance	II 35341 Indentification of Wiener and Hammerstein systems with neural Network and polynomial models methods and applications	II 35342 Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories	II 35343 Identities and constructions of algebras	II 35343 Lectures on the combinatorics of free probability	II 35344 Coherent states, quantization and gravity proceedings of the XVII Workshop on Geometric Methods in Physics Bialowieza, July 3-9, 1998	Next

There are no comments on this title.

to post a comment.

Powered by Koha