skip to main content
Language:
Refined by: subject: Kongress remove subject: Mathematical Logic And Formal Languages remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Material Type:
Book 		Add to e-Shelf

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings

Lifschitz, Vladimir ; Niemelä, Ilkka Niemelä, Ilkka ; Lifschitz, Vladimir

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

Citations Cited by
2
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Material Type:
Book 		Add to e-Shelf

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Baaz, Matthias ; Voronkov, Andrei Baaz, Matthias ; Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Full text available

Citations Cited by
3
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Leuschel, M Leuschel, Michael

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

Citations Cited by
4
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Material Type:
Book 		Add to e-Shelf

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Vardi, Moshe ; Voronkov, Andrei Vardi, Moshe Y. ; Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

Citations Cited by
5
Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Material Type:
Book 		Add to e-Shelf

Principles and Practice of Constraint Programming - CP 2001: 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

Walsh, Toby Walsh, Toby

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Full text available

Citations Cited by
6
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Bruynooghe, Maurice Bruynooghe, Maurice

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Full text available

Citations Cited by
7
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Material Type:
Book 		Add to e-Shelf

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Pettorossi, Alberto Pettorossi, Alberto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Full text available

Citations Cited by
8
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

Baader, Franz Baader, Franz

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

Citations Cited by
9
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
Material Type:
Book 		Add to e-Shelf

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Armando, Alessandro Armando, Alessandro

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Full text available

Citations Cited by
10
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings
Material Type:
Book 		Add to e-Shelf

Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings

Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista ; Leone, Nicola Leone, Nicola ; Flesca, Sergio ; Greco, Sergio ; Ianni, Giovambattista

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Show only

  1. Full Text Online (136)
  2. Peer-reviewed Journals (82)

Creation Date 

From To
Refine
  1. Before1996  (7)
  2. 1996To2000  (37)
  3. 2001To2005  (88)
  4. 2006To2011  (111)
  5. After 2011  (57)
  6. More options open sub menu

  • 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