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

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

Ø 0.0

0 Bewertungen

68,89 €

Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540535904
Book Title:

Extensions of Logic Programming
ISBN:

9783540535904

None:

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

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Costa Rica , ... und weitere

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, Decemb

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, G

Extensions of Logic Programming 4th International Workshop ELP 93 St Andrews

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna,

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews

Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Swede

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margheri

Compiler Compilers: Third International Workshop, CC `90. Schwerin, FRG, October

Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, Nov

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio

Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech R

Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, Ma

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

The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Procee

C++ Programs to Accompany Programming Logic and Design by Jo Ann Smith (English)

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-

Logic of Programming and Calculi of Discrete Design: International Summer School

Programming Logic and Design, Introductory, Paperback by Farrell, Joyce, Bran...

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

Ähnliche Artikel

Extensions of Logic Programming: International Workshop, T?bingen, FRG, December

Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, Decemb

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, G

Extensions of Logic Programming 4th International Workshop ELP 93 St Andrews

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna,

Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews

Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Swede

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margheri

Compiler Compilers: Third International Workshop, CC `90. Schwerin, FRG, October

Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, Nov

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio

Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech R

Natural Language and Logic: International Scientific Symposium, Hamburg, FRG, Ma

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

The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Procee

C++ Programs to Accompany Programming Logic and Design by Jo Ann Smith (English)

Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-

Logic of Programming and Calculi of Discrete Design: International Summer School

Programming Logic and Design, Introductory, Paperback by Farrell, Joyce, Bran...

Cookie Hinweis