Proceedings Fourth Workshop on Classical Logic and Computation Warwick, England, 8th July 2012
- Geuvers, H.
- de'Liguoro, U.
DOIAbstract
Item does not contain fulltextFourth Workshop on Classical Logic and Computation Warwick, England, 8th July 201262 p
Item does not contain fulltextFourth Workshop on Classical Logic and Computation Warwick, England, 8th July 201262 p
Item does not contain fulltextFourth International Workshop on Logical Frameworks and Meta-Languages...
Item does not contain fulltextKey note lectureSeventh Conference of European Researchers in Didactic...
Item does not contain fulltextsixth Workshop on Formal Techniques for Java-like Programsat ECOOP 200
Item does not contain fulltextFirst International Workshop on Trends in Functional Programming in Ed...
Item does not contain fulltextCOLING2002: 19th International Conference on Computational Linguistic
Item does not contain fulltextWiPSCE '16: The 11th Workshop in Primary and Secondary Computing Educa...
Item does not contain fulltextEigth International Conference on Logic Programming (ICLP'91), 24 juni...
Item does not contain fulltext3rd International Jheronimus Bosch Conference, 16 september 201
CL&C 2012 was the fourth of a conference series on Classical Logic and Computation, held as satellit...
Item does not contain fulltextEUFIT '96 : Fourth European Congress on Intelligent Techniques and Sof...
Item does not contain fulltextINTERSYMP 2018: 30th International Conference on Systems Research, In...
Item does not contain fulltextHT '19: Proceedings of the 30th ACM Conference on Hypertext and Social...
Item does not contain fulltextCSERC '16 : Computer Science Education Research Conference South Afric...
Item does not contain fulltext19th International Conference on Historical Linguistics, Nijmegen, 10-...
Item does not contain fulltext11th European Congress on Violence in Clinical Psychiatry (24 - 26 Oct...
Item does not contain fulltextFourth International Workshop on Logical Frameworks and Meta-Languages...
Item does not contain fulltextKey note lectureSeventh Conference of European Researchers in Didactic...
Item does not contain fulltextsixth Workshop on Formal Techniques for Java-like Programsat ECOOP 200
Item does not contain fulltextFirst International Workshop on Trends in Functional Programming in Ed...
Item does not contain fulltextCOLING2002: 19th International Conference on Computational Linguistic
Item does not contain fulltextWiPSCE '16: The 11th Workshop in Primary and Secondary Computing Educa...
Item does not contain fulltextEigth International Conference on Logic Programming (ICLP'91), 24 juni...
Item does not contain fulltext3rd International Jheronimus Bosch Conference, 16 september 201
CL&C 2012 was the fourth of a conference series on Classical Logic and Computation, held as satellit...
Item does not contain fulltextEUFIT '96 : Fourth European Congress on Intelligent Techniques and Sof...
Item does not contain fulltextINTERSYMP 2018: 30th International Conference on Systems Research, In...
Item does not contain fulltextHT '19: Proceedings of the 30th ACM Conference on Hypertext and Social...
Item does not contain fulltextCSERC '16 : Computer Science Education Research Conference South Afric...
Item does not contain fulltext19th International Conference on Historical Linguistics, Nijmegen, 10-...
Item does not contain fulltext11th European Congress on Violence in Clinical Psychiatry (24 - 26 Oct...
Item does not contain fulltextFourth International Workshop on Logical Frameworks and Meta-Languages...
Item does not contain fulltextKey note lectureSeventh Conference of European Researchers in Didactic...
Item does not contain fulltextsixth Workshop on Formal Techniques for Java-like Programsat ECOOP 200
Add to ORKG