Logic with Prolog
3,8
per Peter Gibbins · Clarendon Press · tapa blanda · ISBN 9780198596592
-
IVA inclòs
- Arriba gratis el 9-12 d’oct
- Devolució gratuïta 30 dies
Última unitat!4 persones el tenen al carret
Mètodes de pagament disponibles
Més de 2 milions de productes venuts
I més de 800.000 títols en estoc
Ofertes disponibles per estat
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
Detalls del producte
Autor: Peter Gibbins
ISBN: 9780198596592
Editorial: Clarendon Press
Idioma: Anglès
Format: tapa blanda
Publicació: 8/12/1988
Pàgines: 336 pàg
Dimensions: 22.2 x 14.6 x 2.5 cm
Pes: 431 g
Categoria: Programació i Llenguatges
Sinopsi de Logic with Prolog
«Logic with Prolog» és el manual de lògica formal i programació lògica de Peter Gibbins, de Clarendon Press, en tapa tova (336 pàgines, en anglès).
Introducció a la lògica formal i a la programació lògica amb Prolog: cobreix analitzadors, intèrprets, verificadors de proves i demostradors de teoremes, els càlculs proposicional i de predicats mitjançant deducció natural, la lògica d'un petit llenguatge imperatiu i les limitacions del Prolog real.
Publicat originalment el 1988, forma part de la sèrie Oxford Applied Mathematics and Computing Science Series i inclou bibliografia i índex.
Orientat a estudiants universitaris i professionals de la informàtica interessats en la lògica i la programació en Prolog.
Més títols per a qui ha llegit Logic with Prolog de Peter Gibbins
Recomanat per Julia
Llibres més venuts de Programació i Llenguatges
Més venuts
