Logic and computerscience lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988
Meeting on Logic and ComputerScience (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej Scedrov
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(00-02 Lnm v.1429 ) e outros locais(Acessar)
Functional and logic programming proceedings of the Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996
Fuji International Workshop on Functional and Logic Programming (2nd 1996 Shonan Village Center, Japan) Tetsuo Ida; Atsushi Ohori 1957-; Masato Takeichi
Singapore World Scientific Pub. New Jersey c1997
Localização:
IF - Instituto de Física
(005.1306 F961f 2nd )(Acessar)