skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Simple Search
Refined by: subject: Lógica Matemática remove Linguagem De Programação remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Material Type:
Book 		Add to e-Shelf

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Geuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, Freek

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Full text available

Citations Cited by
2
`Lambid' - calculus and computer science theory proceedings
`Lambid' - calculus and computer science theory proceedings
Material Type:
Book 		Add to e-Shelf

`Lambid' - calculus and computer science theory proceedings

Symposium on `lambid' - Calculus and Computer Science Theory, Rome, 1975 Corrado Bohn

Berlin Springer 1975

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.37 e.1 ) and other locations(GetIt)

3
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Book 		Add to e-Shelf

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

Online access. The library also has physical copies.

4
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Material Type:
Book 		Add to e-Shelf

Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Paliath Narendran 1955-; M Rusinowitch (Michael); International Conference on Rewriting Techniques and Applications (10th 1999 Trento, Italy)

Berlin Springer New York c1999

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1631 ) and other locations(GetIt)

5
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Material Type:
Book 		Add to e-Shelf

Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Leo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)

Berlin Springer New York c2000

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1833 ) and other locations(GetIt)

6
Compiler construction 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Compiler construction 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Book 		Add to e-Shelf

Compiler construction 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

International Conference CC 2000 (9th 2000 Berlin, Germany) David A Watt (David Anthony); ETAPS 2000 (2000 Berlin, Germany)

Berlin Springer New York c2000

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1781 )(GetIt)

7
Semantics, applications, and implementation of program generation second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
Semantics, applications, and implementation of program generation second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
Material Type:
Book 		Add to e-Shelf

Semantics, applications, and implementation of program generation second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

SAIG 2001 (2001 Florence, Italy) Walid Taha 1972-

Berlin Springer-Verlag New York 2001

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2196 ) and other locations(GetIt)

8
Compiler construction 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Compiler construction 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Material Type:
Book 		Add to e-Shelf

Compiler construction 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

CC 2003 (2003 Warsaw, Poland) Görel Hedin 1958-; ETAPS 2003 (2003 Warsaw, Poland)

Berlin Springer New York c2003

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2622 )(GetIt)

9
Types for proofs and programs international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
Types for proofs and programs international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
Material Type:
Book 		Add to e-Shelf

Types for proofs and programs international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

TYPES 2002 (2002 Berg en Dal, Netherlands) Herman Geuvers 1964-; Freek Wiedijk 1961-

Berlin Springer New York c2003

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2646 )(GetIt)

10
Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Material Type:
Book 		Add to e-Shelf

Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

International Conference on Automated Deduction (19th 2003 Miami Beach, Fla.) Franz Baader

Berlin Springer New York 2003

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2741 )(GetIt)

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Creation Date 

From To
Refine

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far