Výsledky vyhledávání - (("implementation of logic programming") OR ("implementation of login programming"))~

Upřesnit hledání
  1. 1

    Selected papers of the Symposium on Programming Language Implementation and Logic Programming (PLILP '91), Passau, Germany, 26-28 August 1991 / guest ed. J. Małusziński [i.e. Małuszyński] and M. Wirsing.

    Autoři: PLILP '91 (3 ; 1991 ; Pasawa). Małuszyński, Jan (1941- ). Wirsing, Martin.

    Přispěvatelé: PLILP '91 (3 ; 1991 ; Pasawa). Małuszyński, Jan (1941- ). Wirsing, Martin.

    Zdroj: Bibliogr. przy rozdz.

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:2490951&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  2. 2

    Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam (eds.).

    Autoři: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). a další

    Přispěvatelé: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). a další

    Témata: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642531&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  3. 3

    Programming language implementation and logic programming : 5th international symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam (eds.).

    Autoři: PLILP '93 (5 ; 1993 ; Tallinn). Bruynooghe, Maurice. Penjam, Jaan (1955- ).

    Přispěvatelé: PLILP '93 (5 ; 1993 ; Tallinn). Bruynooghe, Maurice. Penjam, Jaan (1955- ).

    Témata: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642807&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  4. 4

    Programming language implementation and logic programming : 4th international symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).

    Autoři: PLILP '92 (4 ; 1992 ; Leuven). Bruynooghe, Maurice. Wirsing, Martin.

    Přispěvatelé: PLILP '92 (4 ; 1992 ; Leuven). Bruynooghe, Maurice. Wirsing, Martin.

    Témata: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1643025&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  5. 5

    Programming language implementation and logic programming : 3rd international symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing (eds.).

    Autoři: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). a další

    Přispěvatelé: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). a další

    Témata: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1642878&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  6. 6

    Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński (Eds.).

    Autoři: International Workshop PLILP '90 (2 ; 1990 ; Linköping). Deransart, Pierre (1945- ). Małuszyński, Jan (1941- ).

    Přispěvatelé: International Workshop PLILP '90 (2 ; 1990 ; Linköping). Deransart, Pierre (1945- ). Małuszyński, Jan (1941- ).

    Zdroj: Bibliogr. przy rozdz.

    Témata: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1308582&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  7. 7

    Programming language implementation and logic programming / Executable specifications for language implementation

    Autoři: Kastens, Uwe

    Geografické téma: EIM.2

    Relation: vignette : https://digital.ub.uni-paderborn.de/titlepage/urn/urn:nbn:de:hbz:466:2-4219/128; 3-540-57186-8; eki:HBZCT004000400; system:CT004000400

    Dostupnost: http://nbn-resolving.org/urn:nbn:de:hbz:466:2-4219
    https://nbn-resolving.org/urn:nbn:de:hbz:466:2-4219

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540584025

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540571865

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540558446

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540544449

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540530107

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Convergence of datalog over (Pre-) Semirings.

    Autoři: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard a další

    Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-55, 55p

    Témata: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Programming languages implementation and logic programming : international workshop PLILP '88, Orleans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński (eds.).

    Autoři: International Workshop PLILP '88 (1988 ; Orlean). Deransart, Pierre (1945- ). Lorho, Bernard. a další

    Přispěvatelé: International Workshop PLILP '88 (1988 ; Orlean). Deransart, Pierre (1945- ). Lorho, Bernard. a další

    Témata: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1645928&theme=nukat

    Nájsť tento článok vo Web of Science View record at NUKAT
    Přidat do oblíbených
  15. 15

    Context Gas and friends: taming context-sensitivity on the fly.

    Autoři: Erhard, Julian Schinabeck, Johanna Franziska Schwarz, Michael a další

    Zdroj: International Journal on Software Tools for Technology Transfer; Apr2025, Vol. 27 Issue 2, p289-307, 19p

    Témata: SOFTWARE verification, VERDICTS, TRANSLATORS, GASES

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Programming Languages Implementation and Logic Programming: International Workshop PLILP '88 Orléans, France, May 16–18, 1988 Proceedings

    Zdroj: Lecture Notes in Computer Science ISBN: 9783540508205

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  17. 17

    Abstract domain adequacy: Weakening completeness towards static analysis precision.

    Autoři: Mastroeni, Isabella

    Zdroj: International Journal on Software Tools for Technology Transfer; Dec2024, Vol. 26 Issue 6, p747-765, 19p

    Témata: SOUND systems, TRANSLATORS

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  18. 18

    Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

    Autoři: Erhard, Julian Saan, Simmo Tilscher, Sarah a další

    Zdroj: International Journal on Software Tools for Technology Transfer; Dec2024, Vol. 26 Issue 6, p647-667, 21p

    Témata: COMPUTER software developers, ENGINES

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    ChatGPT in the Classroom. Exploring Its Potential and Limitations in a Functional Programming Course.

    Autoři: Popovici, Matei-Dan

    Zdroj: International Journal of Human-Computer Interaction; Nov2024, Vol. 40 Issue 22, p7743-7754, 12p

    Témata: GENERATIVE artificial intelligence, GENERATIVE pre-trained transformers, CHATGPT, SOFTWARE engineering, SUPERVISED learning

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    Efficient Execution of HiLog in WAM-based Prolog implementations

    Autoři: Konstantinos Sagonas David S. Warren The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Konstantinos Sagonas David S. Warren The Pennsylvania State University CiteSeerX Archives

    Zdroj: ftp://ftp.cs.sunysb.edu/pub/XSB/doc/XSB/hilog_compilation.ps.gz

    Témata: Extensions to Logic Programming, Higher-Order Programming, Implementation of Logic Programming Languages, Deductive Databases, Compilation Techniques

    Popis souboru: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.2342

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.2342

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: