Výsledky vyhľadávania - (("implementation of logic programming") OR ("implementation of login programming"))

Upresniť hľadanie
  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.

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

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

    Zdroj: Bibliogr. przy rozdz.

    Prí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
    Pridať do obľú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.).

    Autori: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). a ďalší

    Prispievatelia: PLILP '94 (6 ; 1994 ; Madryt). Hermenegildo, Manuel. Penjam, Jaan (1955- ). a ďalší

    Predmety: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Prí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
    Pridať do obľú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.).

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

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

    Predmety: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Prí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
    Pridať do obľú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.).

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

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

    Predmety: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Prí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
    Pridať do obľú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.).

    Autori: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). a ďalší

    Prispievatelia: PLILP '91 (3 ; 1991 ; Pasawa). Wirsing, Martin. Małuszyński, Jan (1941- ). a ďalší

    Predmety: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Prí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
    Pridať do obľú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.).

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

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

    Zdroj: Bibliogr. przy rozdz.

    Predmety: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Prí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
    Pridať do obľúbených
  7. 7

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

    Autori: 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

    Dostupnosť: 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
    Pridať do obľúbených
  8. 8

    Faster numeric static analyses with unconstrained variable oracles.

    Autori: Arceri, Vincenzo Bianchi, Filippo Dolcetti, Greta a ďalší

    Zdroj: PeerJ Computer Science; Nov2025, p1-48, 48p

    Predmety: SOFTWARE verification, MATHEMATICAL variables, COMPUTER performance, RESEARCH evaluation

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  9. 9

    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
    Pridať do obľúbených
  10. 10

    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
    Pridať do obľúbených
  11. 11

    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
    Pridať do obľúbených
  12. 12

    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
    Pridať do obľúbených
  13. 13

    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
    Pridať do obľúbených
  14. 14

    Convergence of datalog over (Pre-) Semirings.

    Autori: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard a ďalší

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

    Predmety: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  15. 15

    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.).

    Autori: International Workshop PLILP '88 (1988 ; Orlean). Deransart, Pierre (1945- ). Lorho, Bernard. a ďalší

    Prispievatelia: International Workshop PLILP '88 (1988 ; Orlean). Deransart, Pierre (1945- ). Lorho, Bernard. a ďalší

    Predmety: Języki programowania -- konferencje, Programowanie logiczne -- konferencje

    Prí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
    Pridať do obľúbených
  16. 16

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

    Autori: Erhard, Julian Schinabeck, Johanna Franziska Schwarz, Michael a ďalší

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

    Predmety: SOFTWARE verification, VERDICTS, TRANSLATORS, GASES

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  17. 17

    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
    Pridať do obľúbených
  18. 18

    Abstract domain adequacy: Weakening completeness towards static analysis precision.

    Autori: Mastroeni, Isabella

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

    Predmety: SOUND systems, TRANSLATORS

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  19. 19

    Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

    Autori: Erhard, Julian Saan, Simmo Tilscher, Sarah a ďalší

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

    Predmety: COMPUTER software developers, ENGINES

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených
  20. 20

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

    Autori: Popovici, Matei-Dan

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

    Predmety: GENERATIVE artificial intelligence, GENERATIVE pre-trained transformers, CHATGPT, SOFTWARE engineering, SUPERVISED learning

    Full Text Finder Nájsť tento článok vo Web of Science
    Pridať do obľúbených

Vyhľadávacie nástroje: