Näytetään 1 - 10 yhteensä 23 tuloksesta haulle '"Logic programming Congresses."', hakuaika: 0,02s Tarkenna hakua
  1. 1

    Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 Octobe...

    Julkaistu 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
  2. 2

    Logic-based program synthesis and transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

    Julkaistu 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic-based program synthesis and transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  3. 3

    Web reasoning and rule systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011: proceedings

    Julkaistu 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Web reasoning and rule systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011: proceedings
  4. 4

    Logic programming and nonmonotonic reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

    Julkaistu 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic programming and nonmonotonic reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
  5. 5

    Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday

    Julkaistu 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th Birthday
  6. 6

    Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010. revised papers

    Julkaistu 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010. revised papers
  7. 7

    Functional and constraint logic programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

    Julkaistu 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Functional and constraint logic programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  8. 8

    Inductive logic programming 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers

    Julkaistu 2008
    Kirja

    Inductive logic programming 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers
  9. 9

    Logic programming proceedings of the 1999 International Conference on Logic Programming

    Julkaistu 1999
    Hae kokoteksti
    Hae kokoteksti
    Electronic Resource

    Logic programming proceedings of the 1999 International Conference on Logic Programming
  10. 10

    Logic programming the 14th international conference

    Julkaistu 1997
    Hae kokoteksti
    Hae kokoteksti
    Electronic Resource

    Logic programming the 14th international conference

Työkalut: