3562 search results - page 7 / 713 » Introduction to Logic Programming |
173
click to vote
Book
"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
58
Voted
CEFP
2007
Springer
15 years 1 months ago
2007
Springer
104
click to vote
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
ICYCS
2008
IEEE
15 years 4 months ago
2008
IEEE
