Detail produktu

Produkt mají v nabídce:

Bookshop

1 469 Kč

Do eshopu

Deductive and Declarative Programming - Padawitz, Peter

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Podobné produkty

Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

1 175 Kč

Porovnat nabídky

Logic And Declarative Language - Downward, M.

Logic And Declarative Language - Downward, M.

1 375 Kč

Porovnat nabídky

Knowledge Representation, Reasoning and Declarative Problem Solving - Baral, Chitta (Arizona State University)

Knowledge Representation, Reasoning and Declarative Problem Solving - Baral, Chitta (Arizona State University)

4 594 Kč

Porovnat nabídky

Logic And Declarative Language - Downward, M.

Logic And Declarative Language - Downward, M.

5 375 Kč

Porovnat nabídky

Logic, Part 2, Demonstrative Inference: Deductive and Inductive - Johnson, W. E.

Logic, Part 2, Demonstrative Inference: Deductive and Inductive - Johnson, W. E.

1 031 Kč

Porovnat nabídky

Knowledge Representation, Reasoning and Declarative Problem Solving - Baral, Chitta (Arizona State University)

Knowledge Representation, Reasoning and Declarative Problem Solving - Baral, Chitta (Arizona State University)

1 844 Kč

Porovnat nabídky

Constraint Programming in Music

Constraint Programming in Music

4 082 Kč

Porovnat nabídky

Declarative Agent Languages and Technologies X

Declarative Agent Languages and Technologies X

1 234 Kč

Porovnat nabídky

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

1 322 Kč

Porovnat nabídky

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

1 322 Kč

Porovnat nabídky

Functional and Logic Programming

Functional and Logic Programming

1 322 Kč

Porovnat nabídky

Closing the Poverty and Culture Gap

Closing the Poverty and Culture Gap

875 Kč

Porovnat nabídky

↑