Boek
Advances In Temporal Logic
This volume presents a number of articles from leading researchers containing results in such areas as: pure temporal/modal logic; specification and verification; temporal databases; temporal aspects in AI; tense and aspect in natural language; and temporal theorem proving. «
Score:
Aantal recensies:
Aantal keer getipt:
Aantal keer gelezen:
Auteur(s):
Categorie:
ISBN
9780792361497
Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Recensies van Advances In Temporal Logic door Howard Barringer
Er zijn nog geen recensies voor dit boek.
