Search results for temporal logic

Refine Search

Omni badge Interval Temporal Logic

Propositional calculus, First-order logic, Temporal logic

General and comparative linguistics

Dign Press (2011-10-12) - ISBN-13: 978-613-7-38990-4

34.00 €
Omni badge Inductive Temporal Logic Programming

Learning Temporal Logic Programs from Examples

Programming language

Südwestdeutscher Verlag für Hochschulschriften (2010-10-31) - ISBN-13: 978-3-8381-2149-9

Omni badge Temporal Logic Mathematics

Betascript Publishing (2010-06-07) - ISBN-13: 978-613-0-34970-7

29.00 €
Omni badge Temporal Logic from the Chronicles Paradigm:

learning and reasoning problems, and its applications in Distributed Systems

Informatics, IT

LAP LAMBERT Academic Publishing (2011-09-28) - ISBN-13: 978-3-8465-0663-9

49.00 €
Omni badge Extending Temporal Logic with Omega-automata

The Automata Theoretic Techniques behind PSL Model Checking


LAP LAMBERT Academic Publishing (2009-10-21) - ISBN-13: 978-3-8383-2206-3

49.00 €
Omni badge Temporal Muscle

Muscles of mastication, Temporal fossa, Temporal fascia, Zygomatic arch, Human mandible


SaluPress (2011-12-31) - ISBN-13: 978-613-9-28782-6

29.00 €
Omni badge Infinitary Logic

Statement (logic), Mathematical proof, First-order logic

General Natural Sciences

Claud Press (2011-08-26) - ISBN-13: 978-613-6-80915-1

29.00 €
Omni badge Logic Optimization

Logic synthesis, Logic gate, Electronic design automation, Netlist, Circuit minimization

Electronics, electro-technology, communications technology

Duc (2012-01-11) - ISBN-13: 978-620-0-30401-8

29.00 €
Omni badge Separation Logic

Hoare Logic, John C. Reynolds

Informatics, IT

Tort (2012-01-10) - ISBN-13: 978-613-9-07077-0

29.00 €
Omni badge Sequential Logic

Combinational logic, Finite-state machine, Moore machine


Secut Press (2012-01-07) - ISBN-13: 978-613-9-12849-5

39.00 €
Omni badge Temporal Processing of News

Annotation of Temporal Expressions, Verbal Events and Temporal Relations

General and comparative linguistics

LAP LAMBERT Academic Publishing (2013-12-26) - ISBN-13: 978-3-659-49761-2

93.90 €
Omni badge Logic and Set Theory

Propositional Logic and Set Theory


LAP LAMBERT Academic Publishing (2021-03-26) - ISBN-13: 978-620-3-47206-6

39.90 €
Omni badge Modeling Spatio-Temporal Databases

Approaches for Modeling and Indexing Spatial and Spatio-Temporal Databases

Informatics, IT

VDM Verlag Dr. Müller (2009-07-10) - ISBN-13: 978-3-639-17867-8

49.00 €
Omni badge Temporal run-length encoding

Temporal coherence in rendering time-varying volume data

Informatics, IT

VDM Verlag Dr. Müller (2010-05-18) - ISBN-13: 978-3-639-24659-9

68.00 €
Omni badge Digital Logic Design

Basic of Digital Logic Design

Informatics, IT

LAP LAMBERT Academic Publishing (2020-02-21) - ISBN-13: 978-620-0-65163-1

39.90 €

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::ach Adyen::unionpay Adyen::paypal Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend