Número de Cutter-SanbornB914pEntrada «Bruy» → 914 · marca de obra “p”

Program Development in Computational Logic

Name: Program Development in Computational Logic
ISBN: 9783540259510

A Decade of Research Advances in Logic-Based Program Development

Autor	Maurice Bruynooghe, Kung-Kiu Lau
Editorial	Springer London, Limited
Fecha de publicación	2004
Idioma	inglés
ISBN-13	9783540259510
Número de Cutter	`B914p`

Program Development in Computational Logic (2004) — ISBN 9783540259510 | Cutter Number