Normal view MARC view ISBD view

An approach to a systematic theorem proving procedure in first-order logic Wolfgang Bibel

By:

Publication details: Munchen Universitat Munchen 1970Description: 19 p 28 cm

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	Date due	Barcode
Carti	IMAR	III 14365 (Browse shelf(Opens below))	Available		0032267

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	Next
Previous	III 14181 Classical sufficiency and its applications to sampling theory	III 14182 Methodes de projection du commerce international pour un reseau de pays Reunion ad hoc d'experts Geneve, 8-12 juli 1970 vol. 1	III 14364 Champ d'elements canonique sur une g-structure	III 14365 An approach to a systematic theorem proving procedure in first-order logic	III 14366 Operateurs extremaux et decomposables: convergence des matrigales multivoques Theses	III 14367 Seminaire d'algebre non commutative	III 14368 Statistik fur biologen, psychologen und mediziner	Next

Contine bibliografie

There are no comments on this title.

to post a comment.