From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12 augustus 1987
Indien omslag en titel niet overeenkomen, is de titel correct

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 17 - 25 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 12 augustus 1987
ISBN13 9783540182177
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 125
Afmetingen 155 × 233 × 7 mm   ·   199 g
Taal en grammatica Engels  

Mere med samme udgiver

Bekijk alles van D. Snyers ( bijv. Paperback Book )