Importo totale (1 articolo articoli):
Destinazione ordine:
adrian groza (45 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (45)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (42)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (45)
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (17)
- Non Print on Demand (36)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Modelling Puzzles in First Order Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 50,18
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer Nature Switzerland AG, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Modelling Puzzles in First Order Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,27
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer Nature Switzerland AG, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 48,17
Spedizione EUR 5,76
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Modelling Puzzles in First Order Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
-
Modelling Puzzles in First Order Logic
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 48,32
Spedizione EUR 7,45
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
MODELLING PUZZLES IN FIRST ORDER LOGIC
Da: Speedyhen LLC, Hialeah, FL, U.S.A.
Valutazione del venditore 3 su 5 stelle
Condizione: NEW.
-
Modelling Puzzles in First Order Logic
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,82
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2021. Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses.
-
Modelling Puzzles in First Order Logic
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 48,55
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Modelling Puzzles in First Order Logic
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 60,26
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Modelling Puzzles in First Order Logic (Paperback)
Lingua: Inglese
Editore: Springer Nature Switzerland AG, Cham, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Paperback. Condizione: new. Paperback. Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
Paperback. Condizione: New. 1st ed. 2021. Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses.
-
Modelling Puzzles in First Order Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 48,16
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: 6 disponibili
Aggiungi al carrelloCondizione: New.
-
Modelling Puzzles in First Order Logic
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 47,92
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Modelling Puzzles in First Order Logic
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,81
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Modelling Puzzles in First Order Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 54,37
Spedizione EUR 17,20
Spedito da Regno Unito a U.S.A.Quantità: 6 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Mining Intelligence and Knowledge Exploration: 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20-22, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Modelling Puzzles in First Order Logic
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,41
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Mining Intelligence and Knowledge Exploration : 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20-22, 2018, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,52
Spedizione EUR 17,76
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Mining Intelligence and Knowledge Exploration: 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20?22, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Modelling Puzzles in First Order Logic
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,52
Spedizione EUR 11,47
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 353 pages. 9.25x6.10x0.74 inches. In Stock.
-
MODELLING PUZZLES IN FIRST ORDER LOGIC
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 44,54
Spedizione EUR 47,01
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: NEW.
-
Mining Intelligence and Knowledge Exploration: 6th International Conference, Mike 2018, Cluj-napoca, Romania, December 20-22, 2018, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2019
ISBN 10: 3030059170 ISBN 13: 9783030059170
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,23
Spedizione EUR 14,33
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 400 pages. 9.25x6.10x1.02 inches. In Stock.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer Nature Switzerland AG, CH, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 1st ed. 2021. Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer International Publishing, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
EUR 56,43
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Provides an extended collection of warm-up and fun activities to start a lecture on logic or computer scienceIllustrates the complete process of modelling and solving puzzles with theorem proversMaximizes students insights into modelling wi.
-
Mining Intelligence and Knowledge Exploration : 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20¿22, 2018, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030059170 ISBN 13: 9783030059170
EUR 53,49
Spedizione EUR 63,02
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed conference proceedings of the 6th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2018, held in Cluj-Napoca, Romania, in December 2018.The 33 full papers presented were carefully reviewed and selected from 93 submissions. The papers were grouped into various subtopics including evolutionary computation, knowledge exploration in IoT, artificial intelligence, machine learning, image processing, pattern recognition, speech processing, information retrieval, natural language processing, social network analysis, security, and fuzzy rough sets.
-
Modelling Puzzles in First Order Logic
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 303062546X ISBN 13: 9783030625467
EUR 53,49
Spedizione EUR 62,70
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles.Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution.This concise and easy-to-follow textbook is a much-needed support tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses.
