Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

AvMaurice Bruynooghe,Kung-Kiu Lau

Engelska, 2014

665 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2014-03-12
Format:Övrigt
Språk:Engelska
Antal sidor:552
Förlag:Springer
ISBN:9783662164877

Du kanske också är intresserad av

Program Development in Computational Logic

Maurice Bruynooghe, Kung-Kiu Lau

Häftad, 2004

559 kr

Program Development in Computational Logic

Kung-Kiu Lau, Maurice Bruynooghe

E-bok

2004

732 kr

Programming Language Implementation and Logic Programming

Maurice Bruynooghe, Jaan Penjam

Häftad, 1993

560 kr

Service-Oriented and Cloud Computing

Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

Häftad, 2013

516 kr

Logic Based Program Synthesis and Transformation

Maurice Bruynooghe

E-bok

2004

732 kr

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pap

Maurice Bruynooghe

665 kr

Logic Program Synthesis and Transformation

Kung-Kiu Lau, Timothy P. Clement

Häftad, 1993

560 kr

Logic Based Program Synthesis and Transformation

Maurice Bruynooghe

Häftad, 2004

559 kr

Computational Logic — CL 2000

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

660 kr

Programming Language Implementation and Logic Programming

Maurice Bruynooghe, Martin Wirsing

Häftad, 1992

560 kr

Företag, bibliotek eller offentlig verksamhet?

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

Produktinformation

Du kanske också är intresserad av

Program Development in Computational Logic

Program Development in Computational Logic

Programming Language Implementation and Logic Programming

Service-Oriented and Cloud Computing

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pap

Logic Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Computational Logic — CL 2000

Programming Language Implementation and Logic Programming

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

Produktinformation

Du kanske också är intresserad av

Program Development in Computational Logic

Program Development in Computational Logic

Programming Language Implementation and Logic Programming

Service-Oriented and Cloud Computing

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pap

Logic Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Computational Logic — CL 2000

Programming Language Implementation and Logic Programming