Logics for artificial intelligence by Turner, Raymond fromEllis Horwood series in artificial intelligence 0 Type: Book
Logics for artificial intelligence by Turner, Raymond fromEllis Horwood series in artificial intelligence 0 Type: Book
Operational semantics for timed systems: a non-standard approach to uniform modeling of ti… by Rust, Heinrich fromLecture Notes in Computer Science 0 Type: Book