Ergebnisse für: Logical Specifications

Hier findest Du Bücher, die sich mit Logical Specifications beschäftigen.

Buch Cover Executable Modal and Temporal Logics

Springer Berlin
53.49 € · eBook

Ausführbare Logiken Executable Logics Logic Programming Logical Specifications Logische Spezifikation Modal Logics Modale Logiken Temporal Logics artificial intelligence programming programming language

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent...

Executable Modal and Temporal Logics

Springer Berlin
53.49 € · Paperback

Array
(
    [endpoint] => /products?search=Logical+Specifications&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.002831
    [connect_time] => 0.519603
    [responseLength] => 4559
)