scientific article; zbMATH DE number 2087199
From MaRDI portal
Publication:4737876
zbMath1077.68685MaRDI QIDQ4737876
José M. Mendías, Román Hermida, Juan Lanchares, Aitor Ibarra, J. Ignacio Hidalgo
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2278/22780248.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
