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 4,22 per la spedizione in U.S.A.

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

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,05
Convertire valuta
Spese di spedizione: EUR 4,22
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 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: Lucky's Textbooks, Dallas, TX, U.S.A.

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

Condizione: New. Codice articolo ABLIING23Mar3113020091932

Contatta il venditore

Compra nuovo

EUR 56,44
Convertire valuta
Spese di spedizione: EUR 3,40
In U.S.A.
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 57,61
Convertire valuta
Spese di spedizione: EUR 2,25
In U.S.A.
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: Best Price, Torrance, CA, U.S.A.

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

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783319258812

Contatta il venditore

Compra nuovo

EUR 52,59
Convertire valuta
Spese di spedizione: EUR 7,65
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 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 64,92
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
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
Antico o usato Brossura

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

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

Condizione: As New. Unread book in perfect condition. Codice articolo 24737559

Contatta il venditore

Compra usato

EUR 63,00
Convertire valuta
Spese di spedizione: EUR 2,25
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Jonathan Fruhman
ISBN 10: 3319258818 ISBN 13: 9783319258812
Nuovo Paperback Prima edizione

Da: Grand Eagle Retail, Mason, OH, U.S.A.

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

Paperback. Condizione: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783319258812

Contatta il venditore

Compra nuovo

EUR 70,17
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 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 56,13
Convertire valuta
Spese di spedizione: EUR 17,78
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 10 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 58,08
Convertire valuta
Spese di spedizione: EUR 17,22
Da: Regno Unito a: U.S.A.
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 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Vedi altre 11 copie di questo libro

Vedi tutti i risultati per questo libro