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

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

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

Expand ICMC - Inst. Ciên. Mat. Computação locations ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1414 ) Available
Expand IFSC - Inst. Física de São Carlos locations IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1414 ) Available
Expand IME - Inst. Matemática e Estatística locations IME - Inst. Matemática e Estatística (S L471c v.1414 ) Available
Back to results list
Go to Previous pagePrevious Result  4 NextGo to Next page

  • 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