Logic Programming Computer Science

1,051 books
Logic in Computer ScienceMark Ryan
⏱ 6h 45m

Logic in Computer Science

Mark Ryan

1999405 pp.
Principles of program analysisFlemming Nielson
⏱ 7h 42m

Principles of program analysis

Flemming Nielson

1999462 pp.
Fundamentals of Software EngineeringFarhad Arbab
⏱ 6h 32m

Fundamentals of Software Engineering

Farhad Arbab

2010392 pp.
Trading on the EdgeGuido J. Deboeck
⏱ 6h 56m

Trading on the Edge

Guido J. Deboeck

1994416 pp.
Programming with constraintsKim Marriott
⏱ 7h 47m

Programming with constraints

Kim Marriott

1998467 pp.
Logic functions and equationsChristian Posthoff
⏱ 6h 48m

Logic functions and equations

Christian Posthoff

2005408 pp.
Trends in Functional ProgrammingRicardo Peña
⏱ 5h 21m

Trends in Functional Programming

Ricardo Peña

2012321 pp.
Algebraic InformaticsFranz Winkler
⏱ 4h 32m

Algebraic Informatics

Franz Winkler

2011272 pp.
Abstract State Machines, Alloy, B, TLA, VDM, and ZYamine Ait Ameur
⏱ 5h 52m

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Yamine Ait Ameur

2014352 pp.
Multiparadigm programming in LedaTimothy Budd
⏱ 6h 34m

Multiparadigm programming in Leda

Timothy Budd

1995394 pp.
Programming language implementation and logic programmingPLILP '90 (1990 Linköping, Sweden)
⏱ 6h 41m

Programming language implementation and logic programming

PLILP '90 (1990 Linköping, Sweden)

1990401 pp.
Functional and Logic ProgrammingOleg Kiselyov
⏱ 4h 19m

Functional and Logic Programming

Oleg Kiselyov

2016259 pp.
Logic based program synthesis and transformationLOPSTR 2000 (2000 London, England)
⏱ 3h 1m

Logic based program synthesis and transformation

LOPSTR 2000 (2000 London, England)

2001181 pp.
Logic and objectsF. G. McCabe
⏱ 2h 39m

Logic and objects

F. G. McCabe

1992159 pp.
Proceedings of the First NASA/DoD Workshop on Evolvable HardwareNASA/DoD Workshop on Evolvable Hardware (1st 1999 Pasadena, Calif.)
⏱ 4h 27m

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware

NASA/DoD Workshop on Evolvable Hardware (1st 1999 Pasadena, Calif.)

1999267 pp.
Formal Syntax and Semantics of JavaJim Alves-Foss
⏱ 6h 44m

Formal Syntax and Semantics of Java

Jim Alves-Foss

1999404 pp.
Logic program synthesis and transformationInternational Workshop on Logic Program Synthesis and Transformation (6th 1996 Stockholm, Sweden)
⏱ 5h 24m

Logic program synthesis and transformation

International Workshop on Logic Program Synthesis and Transformation (6th 1996 Stockholm, Sweden)

1997324 pp.
NASA Formal MethodsJulia M. Badger
⏱ 6h 40m

NASA Formal Methods

Julia M. Badger

2014400 pp.
Foundations of Disjunctive Logic ProgrammingJorge Lobo
⏱ 5h 7m

Foundations of Disjunctive Logic Programming

Jorge Lobo

1992307 pp.
An object-oriented approach to programming logic and designJoyce Farrell
⏱ 9h 3m

An object-oriented approach to programming logic and design

Joyce Farrell

2011543 pp.
← PreviousPage 3 of 53Next →