Աշխատակազմի տեսք: From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Summary goes here

Պահպանված է:

Մատենագիտական մանրամասներ
Ձևաչափ:	Գիրք
Լեզու:	անգլերեն
Խորագրեր:	Automatic theorem proving. Computer algorithms. Logic programming. Algorithms algorithms. Automatic theorem proving Computer algorithms Logic programming Formale Semantik Logischer Entwurf Programmierlogik Automatisches Beweisverfahren Logisch programmeren. Algorithms. Logic design. Programmation logique. Algorithmes. Structure logique.
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

era
format	Book
genre
geographic
id	6ebf162f-7cd6-4b17-83ad-6d2e47cdbae1
isbn	0387182179 9780387182179 3540182179 9783540182177
issn
language	eng
physical	iv, 125 pages :illustrations ;25 cm.
publication	– publisher: SpringerVerlag dateOfPublication: ©1987
publishDate	©1987
subjects
title	From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.
topic	Automatic theorem proving. Computer algorithms. Logic programming. Algorithms algorithms. Automatic theorem proving Computer algorithms Logic programming Formale Semantik Logischer Entwurf Programmierlogik Automatisches Beweisverfahren Logisch programmeren. Logic programming. Algorithms. Automatic theorem proving. Logic design. Logic programming. Programmation logique. Algorithmes. Structure logique.