Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Logic Based Program Synthesis and Transformation: 12th International Workshop, L

Ø 0.0

0 Bewertungen

69,04 €

Debugging and Types. - Abstract Diagnosis of Functional Programs. - A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. - Tabling and Constraints. - Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540404385
Book Title:

Logic Based Program Synthesis and Transformation
ISBN:

9783540404385

None:

International Standard : tracked-no signature (7 to 15 business days) 34,33 EUR - Lieferung zwischen 26. May 2025 und 05. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere

Logic Based Program Synthesis and Transformation: 12th International Workshop, L

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2

Marcy Cook Math Tile Card Packets Algebra Exploring, Placement Logic

Ti-Based Biomaterials: Synthesis, Properties and Applications by Jaroslaw Jakubo

Analysis Synthesis and Design of Chemical Processes by R. Turton

Total Transformation Program - by Lehman

Biology for the Logic Stage : Teachers Guide (Like New) Middle School Science

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA,

Synthesis and Application of Biomass-Derived Carbon-Based Nanomaterials by Dapen

Novel ZnO-Based Nanostructures: Synthesis, Characterization and Applications by

Nonlinear Synthesis: Proceedings of a IIASA Workshop held in Sopron, Hungary Jun

Elemental Science Physics for the Logic Stage Book Set (1st Ed.) (Barely Used)

Advanced Textile Based Polymer Composites: Synthesis, Characterization and Appli

INTERMEDIATE LOGIC James Nance Logos School Books and DVD Excellent SET

New Methods Polymer Synthesis by J.R. Ebdon (English) Paperback Book

Acting Together I: Performance and the Creative Transformation of Conflict: Resi

Logic And Contemporary Rhetoric - Boardman

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finit

Programmable Logic Controllers by Rehg, Sartori (2017 International Ed.)

Development of Bio-Based Materials: Synthesis, Characterization, and Application

Asteroid Initiative: Ideas Synthesis Workshop by National Aeronautics and Space

Logic Based Program Synthesis and Transformation: 12th International Workshop, L

Ähnliche Artikel

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2

Marcy Cook Math Tile Card Packets Algebra Exploring, Placement Logic

Ti-Based Biomaterials: Synthesis, Properties and Applications by Jaroslaw Jakubo

Analysis Synthesis and Design of Chemical Processes by R. Turton

Total Transformation Program - by Lehman

Biology for the Logic Stage : Teachers Guide (Like New) Middle School Science

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA,

Synthesis and Application of Biomass-Derived Carbon-Based Nanomaterials by Dapen

Novel ZnO-Based Nanostructures: Synthesis, Characterization and Applications by

Nonlinear Synthesis: Proceedings of a IIASA Workshop held in Sopron, Hungary Jun

Elemental Science Physics for the Logic Stage Book Set (1st Ed.) (Barely Used)

Advanced Textile Based Polymer Composites: Synthesis, Characterization and Appli

INTERMEDIATE LOGIC James Nance Logos School Books and DVD Excellent SET

New Methods Polymer Synthesis by J.R. Ebdon (English) Paperback Book

Acting Together I: Performance and the Creative Transformation of Conflict: Resi

Logic And Contemporary Rhetoric - Boardman

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finit

Programmable Logic Controllers by Rehg, Sartori (2017 International Ed.)

Development of Bio-Based Materials: Synthesis, Characterization, and Application

Asteroid Initiative: Ideas Synthesis Workshop by National Aeronautics and Space

Cookie Hinweis