Res com un bon llibre

Editorial: Universidad de Alicante

Pàgines: 203

Any: 1998

EAN: 9788479083946

12,92 €

Sense existències ara

Rep-lo a casa en 2 / 3 dies per Missatger o Eco Enviament* Pots recollir-lo en 2 / 3 dies a les nostres llibreries
1. Història de la lògica simbòlica; 2. El llenguatge de lo lògica de primer ordre; 3. Teoria semàntica; 4. Deducció natural en lògica de primer ordre; 5. Teoria axiomàtica; 6.Normalització de fórmules; 7. Tècniques de demostració automàtica; 8.Programació lògica.
}
Les cookies són importants per a tu, influeixen en la teva experiència de navegació, ens ajuden a protegir la teva privadesa i permeten realitzar les peticions que ens sol·licitis a través de la web. Utilitzem cookies pròpies i de tercers per analitzar els nostres serveis i mostrar publicitat relacionada amb les teves preferències en base a un perfil elaborat amb els teus hàbits de navegació (per exemple pàgines visitades). Si consentiu la vostra instal·lació prem "Acceptar cookies", o també pots configurar les teves preferències aquí. Més informació a la nostra Política de cookies