scientific article
From MaRDI portal
Publication:2764130
zbMath0977.68744MaRDI QIDQ2764130
Lutz Schröder, Piotr Hoffman, Andrzej Tarlecki, Bartek Klin, Till Mossakowski
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290253
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)
Related Items (3)
Lambda Expressions in Casl Architectural Specifications ⋮ Amalgamation in the semantics of CASL ⋮ HasCasl: integrated higher-order specification and program development
Uses Software
This page was built for publication:
