02150nam 22005415 450 99646583290331620200706044954.03-540-47811-610.1007/3-540-18217-9(CKB)1000000000230658(SSID)ssj0000323313(PQKBManifestationID)11242987(PQKBTitleCode)TC0000323313(PQKBWorkID)10299240(PQKB)11321242(DE-He213)978-3-540-47811-9(PPN)155214276(EXLCZ)99100000000023065820121227d1987 u| 0engurnn#008mamaatxtccrFrom Logic Design to Logic Programming[electronic resource] Theorem Proving Techniques and P-Functions /by Dominique Snyers, Andre Thayse1st ed. 1987.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1987.1 online resource (IV, 125 p.)Lecture Notes in Computer Science,0302-9743 ;271Bibliographic Level Mode of Issuance: Monograph3-540-18217-9 Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics.Lecture Notes in Computer Science,0302-9743 ;271Computer logicComputer programmingLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer logic.Computer programming.Logics and Meanings of Programs.Programming Techniques.005.1015113Snyers Dominiqueauthttp://id.loc.gov/vocabulary/relators/aut59197Thayse Andreauthttp://id.loc.gov/vocabulary/relators/autBOOK996465832903316From logic design to logic programming383176UNISA