PROLOG for Programmers
Stanislaw Szpakowicz, Feliks Kluzniak
₹3,690
Results for “Protos (Programme d'ordinateur)”
Showing 1–21 of 21 books
PROLOG for Programmers
Feliks Kluzniak, Stanislaw Szpakowicz
₹4,396
Programs, Proofs, Processes
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo
₹5,627
Adapting Proofs-As-Programs
Iman Poernomo, John N. Crossley, Martin Wirsing
₹4,706
Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Types for Proofs and Programs
Peter Dybjer, Bengt Nordström, Jan Smith
₹5,483
Types for Proofs and Programs
Stefano Berardi, Mario Coppo
₹5,591
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani
₹5,586
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström
₹3,398
Termination Proofs for Logic Programs
Lutz Plümer
₹5,449
Types for Proofs and Programs
Henk Barendregt, Tobias Nipkow
₹5,576
Types for Proofs and Programs
Eduardo Gimenez, Christine Paulin-Mohring
₹5,565
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281
Puzzles for Programmers and Pros
Dennis E. Shasha
₹1,695
Introduction to Dependent Types with Idris
Boro Sitnikovski
₹2,830
Metaprogramming Ruby 2
Paolo Perrotta
₹20,625
Proof Theory
Peter Aczel, Harold Simmons, Stanley S. Wainer
₹4,695
Proof Theory
Harold Simmons, Stanley S. Wainer, Peter Aczel
₹5,297