scientific article; zbMATH DE number 1927339
From MaRDI portal
Publication:4484233
zbMATH Open1013.03076MaRDI QIDQ4484233
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2475/24750113.htm
Title of this publication is not available (Why is that?)
Database theory (68P15) Reasoning under uncertainty in the context of artificial intelligence (68T37) Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4484233)
