scientific article
From MaRDI portal
Publication:2767120
zbMath0983.68056MaRDI QIDQ2767120
Fosca Giannotti, Dino Pedreschi, Francesco Bonchi
Publication date: 28 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
This page was built for publication:
