01418nam0 22003613i 450 AQ1000036320240712062429.00387979654New York3540979654Berlin20080213d1993 ||||0itac50 baengusz01i xxxe z01nString-rewriting systemsRonald V. Book, Friedrich OttoNew York [etc.]Springerc1993VIII, 189 p.25 cmTexts and monographs in computer science001AQ100003642001 Texts and monographs in computer scienceLogica matematicaFIRNAPC000388ILogica simbolicaFIRNAPC147266IElaboratori elettroniciProgrammazioneFIRNAPC000341I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Book, Ronald V.AQ1V000204070770258Otto, FriedrichAQ1V000205070770259ITIT-NA007920080213IT-BN0095 AQ10000363Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 BOO.st 0102 0000018025 B A4 1 v.3 1995030219950302 01String-rewriting systems1571112UNISANNIO