Results 91 to 100 of about 25,732 (152)
Fast floating-point processing in Common Lisp [PDF]
, 1995 Richard J. Fateman +3 more
openalex +1 more source
Simple and efficient compilation of list comprehension in common Lisp [PDF]
, 2007 Mario Latendresse
openalex +1 more source
Research in advanced formal theorem-proving techniques [PDF]
The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot ...
Fikes, R., Raphael, B., Waldinger, R.
core +1 more source
A common-LISP implementation of an extended Prolog system [PDF]
, 1988 Giuseppe Cattaneo, Vincenzo Loia
openalex +1 more source
Demonstration: A stepper for Armed Bear Common Lisp (ABCL) [PDF]
, 2023 Alejandro Zamora Fonseca
openalex +1 more source
Remark on “Fast floating-point processing in Common Lisp” [PDF]
, 1996 John Reid
openalex +1 more source
Dynamic data models: an application of MOP-based persistence in Common Lisp
, 2008 P. Thierry, Simon Thierry
openalex +2 more sources
Using Metaprogramming Tools of the Common Lisp Language for the Development of Emulator Systems
А. А. Chaplygin
openalex +2 more sources