Ergebnisse für: GPAC-generable functions

Hier findest Du Bücher, die sich mit GPAC-generable functions beschäftigen.

Buch Cover Logical Foundations of Computer Science

Springer International Publishing
53.49 € · Paperback

artificial intelligence complexity computability computer science constructive type theory first-order logic formal logic GPAC-generable functions highre-order arithmetics knowledge of uncertain worlds modal logic non-normal modal logics observable models primitive recursion problem solving

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is b...

Logical Foundations of Computer Science

Springer International Publishing
53.49 € · eBook

Array
(
    [endpoint] => /products?search=GPAC-generable+functions&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.002135
    [connect_time] => 0.518696
    [responseLength] => 4370
)