Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti"
Consiglio Nazionale delle Ricerche

Home
About us
Research Groups
People
Projects
Publications
Software
repository
Seminars
News
Project Observatory
Software Repository

Home
About us
Research Groups
People
Projects
Publications
Software
repository
Seminars
News
Project Observatory
Software Repository

First Order Predicate Calculus and Logic Programming. Fourth Edition.

Home/
First Order Predicate Calculus and Logic Programming. Fourth Edition.

First Order Predicate Calculus and Logic Programming. Fourth Edition.

Post by: stefano_lusetti
25 Settembre 2026
Comments off

Categories:

Address

Via dei Taurini, 19 00185 Roma Italy

Contact Information

tel.: +39 06 4993 7102
fax: +39 06 4993 7106
e-mail: direzione@iasi.cnr.it
techincal support: webmaster@iasi.cnr.it
certified e-mail: protocollo.iasi@pec.cnr.it

Quick Links

People
Projects
Research Groups
Seminars
Software repository
Intranet

Consiglio Nazionale delle Ricerche - Piazzale Aldo Moro, 7 - 00185 Roma, Italia
CNR - Codice Fiscale 80054330586 - Partita IVA 02118311006 - Il Cnr è soggetto allo split payment. - Devolvi il 5x1000 al Cnr Amministrazione trasparente