Articoli correlati a Constraint Solving and Planning with Picat

Constraint Solving and Planning with Picat - Brossura

 
9783319258812: Constraint Solving and Planning with Picat

Sinossi

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.

The book is useful for undergraduate and graduate students, researchers, and practitioners.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.

The book is useful for undergraduate and graduate students, researchers, and practitioners.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
This book is in very good condition...
Visualizza questo articolo

EUR 47,40 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

EUR 9,70 per la spedizione da Germania a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783319258829: Constraint Solving and Planning with Picat

Edizione in evidenza

ISBN 10:  3319258826 ISBN 13:  9783319258829
Casa editrice: Springer, 2016
Brossura

Risultati della ricerca per Constraint Solving and Planning with Picat

Immagini fornite dal venditore

Neng-Fa Zhou|Håkan Kjellerstrand|Jonathan Fruhman
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Appropriate for undergraduate and graduate students, researchers, and practitioners Authors combine academic and practical developer community experience Exercises encourage readers to practice the presented modeling techniquesThis bo. Codice articolo 74745354

Contatta il venditore

Compra nuovo

EUR 51,51
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan
Editore: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In English. Codice articolo ria9783319258812_new

Contatta il venditore

Compra nuovo

EUR 57,95
Convertire valuta
Spese di spedizione: EUR 10,30
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Neng-Fa Zhou
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module forplanning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners. 160 pp. Englisch. Codice articolo 9783319258812

Contatta il venditore

Compra nuovo

EUR 58,84
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan
Editore: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783319258812

Contatta il venditore

Compra nuovo

EUR 65,75
Convertire valuta
Spese di spedizione: EUR 7,76
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Neng-Fa Zhou
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module forplanning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners. Codice articolo 9783319258812

Contatta il venditore

Compra nuovo

EUR 58,84
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Neng-Fa Zhou
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling.The book is useful for undergraduate and graduate students, researchers, and practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch. Codice articolo 9783319258812

Contatta il venditore

Compra nuovo

EUR 58,84
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Zhou, Neng-fa; Fruhman, Jonathan; Kjellerstrand, Håkan
Editore: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 24737559-n

Contatta il venditore

Compra nuovo

EUR 57,94
Convertire valuta
Spese di spedizione: EUR 17,18
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Zhou, Neng-fa; Fruhman, Jonathan; Kjellerstrand, Håkan
Editore: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 24737559-n

Contatta il venditore

Compra nuovo

EUR 58,35
Convertire valuta
Spese di spedizione: EUR 17,24
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Zhou, Neng-Fa
Editore: Springer 2015-11, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783319258812

Contatta il venditore

Compra nuovo

EUR 55,99
Convertire valuta
Spese di spedizione: EUR 22,89
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Zhou, Neng-Fa & Håkan Kjellerstrand & Jonathan Fruhman
Editore: Springer, 2015
ISBN 10: 3319258818 ISBN 13: 9783319258812
Antico o usato Paperback

Da: Mahler Books, PFLUGERVILLE, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Springerbriefs In Intelligent Systems; 6.1 X 0.38 X 9.25 inches; 159 pages. Codice articolo 01SA24-123-290

Contatta il venditore

Compra usato

EUR 35,50
Convertire valuta
Spese di spedizione: EUR 47,40
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 8 copie di questo libro

Vedi tutti i risultati per questo libro