×

Found 7 Documents (Results 1–7)

100
MathJax

Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. (English) Zbl 0903.00068

Electronic Notes in Theoretical Computer Science. 4. Amsterdam: Elsevier, 423 p. (1996).
MSC:  00B25 68-06 68Q42
PDF BibTeX XML Cite
Full Text: Link

Computers and exploratory learning. Proceedings of the NATO Advanced Research Workshop on the design of computational media to support exploratory learning, held at the Asilomar Conference Center, Pacific Grove, CA, USA, October 3-7, 1993. (English) Zbl 0875.68995

NATO ASI Series. Series F. Computer and Systems Sciences. 146. Berlin: Springer-Verlag. viii, 482 p. (1995).
MSC:  68U99 68-06 00B25
PDF BibTeX XML Cite

Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. (English) Zbl 0744.68025

Amsterdam etc.: North-Holland. X, 515 p. (1991).
PDF BibTeX XML Cite

Progress in mathematical programming. Interior-point and related methods. (Based on the conference held at Pacific Grove, California, March 1-4, 1987). (English) Zbl 0669.00026

New York etc.: Springer-Verlag. x, 158 p. DM 78.00 (1989).
MSC:  00B25 90-06
PDF BibTeX XML Cite

Proceedings of the second conference on theoretical aspects of reasoning about knowledge, held in Pacific Grove, California, USA, March 7-9, 1988. (English) Zbl 0699.00012

Los Altos, CA: Morgan Kaufmann. viii, 401 p. £14.95 (1988).
MSC:  00B25 03-06 68-06
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification