Bibliotecas do IPB

Vista normal Vista MARC Vista ISBD

Handbook of logic in computer Science / Edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum. - Oxford : Clarendon Press, 1994
. - XV, 490 p. ; 24 cm
ISBN 0-19-853762-X
- Vol. 3 : Semantic structures
Matemática computacional / Análise numérica / Programação matemática /
Cota : 519.6-1/HAN/HAN