-
176. Programs as Diagrams: From Categorical Computability to Computable Categories
by Pavlovic, Dusko
Seller Description: New. Contains: Illustrations, black & white. Theory and Applications of Computability . XVII, 252 p. 1 illus. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031348266
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$109.28
-
177. Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
by Gaggl, Sarah (Editor), and Martinez, Maria Vanina (Editor), and Ortiz, Magdalena (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Artificial Intelligence ; Lecture Notes in Computer Science . XVIII, 831 p. 114 illus., 38 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031436185
Paperback, New
NV, USA
$112.32
-
178. Programs as Diagrams: From Categorical Computability to Computable Categories
by Pavlovic, Dusko
Seller Description: Fine. Contains: Illustrations, black & white. Theory and Applications of Computability . XVII, 252 p. 1 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 ... See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031348266
Hardcover, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$118.60
-
179. R-Calculus, II: Many-Valued Logics
Seller Description: Brand New. New. See More Details
2023, Springer Verlag, Singapore
ISBN-13: 9789811692963
Paperback, New
New Delhi, DELHI, INDIA
$118.84
-
180. R-Calculus, II: Many-Valued Logics
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer Verlag, Singapore
ISBN-13: 9789811692963
Paperback, New
Irving, TX, USA
$136.15
-
181. Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
by Pavlovic, Dusko
Seller Description: New. See More Details
2023, Springer
ISBN-13: 9783031348266
hardcover, New
Santa Clarita, CA, USA
$144.03
-
182. R-Calculus, II: Many-Valued Logics
by Li, Wei, and Sui, Yuefei
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Perspectives in Formal Induction, Revision and Evolution . XIII, 271 p. 6 illus., 1 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer Verlag, Singapore
ISBN-13: 9789811692963
Paperback, New
NV, USA
$168.69
-
183. R-Calculus, II: Many-Valued Logics
by Li, Wei, and Sui, Yuefei
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Perspectives in Formal Induction, Revision and Evolution . XIII, 271 p. 6 illus., 1 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer Verlag, Singapore
ISBN-13: 9789811692963
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$177.56
-
184. Logic-Based Program Synthesis and Transformation
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031167669
Format: EPUB eBook
Digital download
$18.00
-
185. Logic-Based Program Synthesis and Transformation
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783030988685
Format: EPUB eBook
Digital download
$18.00
-
186. Automata Theory and Formal Languages
by Alberto Pettorossi
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783031119644
Edition: 2022 edition
Format: PDF eBook
Digital download
$19.50
-
187. Language, Logic, and Computation
eBook See More Details
2022, Springer Nature
eBook ISBN: 9783030984786
Format: EPUB eBook
Digital download
$25.50
|
