First-order logic and automated theorem proving / Melvin Fitting.

By:

Material type: Text

Subject(s):

DDC classification:

List(s) this item appears in: Springer series

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

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	004 F-48 (Browse shelf(Opens below))	3E21509	Available		2010-60974

Previous		No cover image available				No cover image available	No cover image available	Next
Previous	[004: 339(1-773)] : 327.7(062) Information economy report :	004. 42 Annual review in automatic programming :	004. 8 Understanding the artificial intelligence revolution : between catastrophe and utopia /	004 F-48 First-order logic and automated theorem proving /	004 S-31 ARIS--business process frameworks /	004:003 Автоматизация ввода письменных знаков в электронные вычислительные машины : Доклады науч.-техн. совещания. Вильнюс. 17-20 ноября 1965 г. /	004:003(063) Автоматизация ввода письменных знаков в электронные вычислительные машины : Доклады II Всесоюз. науч.-техн. конференции. Вильнюс, 10-13 июня 1969 г. : [В 2 т.] : Т. 2. /	Next

Includes bibliographical references (p. [315]-318) and index.

There are no comments on this title.

to post a comment.