Search Results - (((("a shell based algorithm") OR ("_ neural 2 algorithm"))) OR ("_ basic definitions algorithm")) :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Weighted argument systems: Basic definitions, algorithms, and complexity results

by Dunne, Paul E., Hunter, Anthony, McBurney, Peter, Parsons, Simon, Wooldridge, Michael
Published in Artificial intelligence (01.02.2011)

Get full text

Journal Article

Cover Image

Symbolic Verification of Hybrid Systems: An Algebraic Approach

by Mohrenschildt, Martin v.
Published in European journal of control (2001)

Get full text

Journal Article