scientific article
From MaRDI portal
Publication:2764131
zbMath0977.68657MaRDI QIDQ2764131
Dieter Hutter, Till Mossakowski, Serge Autexier
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290269
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)
Related Items (4)
Development graphs -- proof management for structured specifications ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Amalgamation in the semantics of CASL ⋮ Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Uses Software
This page was built for publication:
