Evolutionary computation, machine learning and data mining in bioinformatics : 5th European conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Evolutionary computation, machine learning and data mining in bioinformatics : 5th European conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007 : proceedingshttps://catalogue-scientifique.canada.ca/record=2159179~S6*frcRechercher Marchiori, E; Rechercher Moore, Jason H; Rechercher Rajapakse, Jagath ChandanaSpringer, 2007Actes de conférence
Design of abstract domains using first-order logic (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Design of abstract domains using first-order logichttps://catalogue-scientifique.canada.ca/record=1687822~S6*frcRechercher Marchiori, ECentrum voor Wiskunde en Informatica, Computer Science/Dept. of Interactive Systems, 1996Livre
A methodology for proving termination of general logic programs (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A methodology for proving termination of general logic programshttps://catalogue-scientifique.canada.ca/record=1606858~S6*frcRechercher Marchiori, ECentrum voor Wiskunde en Informatica, Computer Science/Dept. of Software Technology, 1995Livre
Some uses of constructive negation for classical problems in non-monotonic reasoning (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Some uses of constructive negation for classical problems in non-monotonic reasoninghttps://catalogue-scientifique.canada.ca/record=1611609~S6*frcRechercher Marchiori, ECentrum voor Wiskunde en Informatica, Computer Science/Dept. of Software Technology, 1994Livre
A logic for variable aliasing in logic programs (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A logic for variable aliasing in logic programshttps://catalogue-scientifique.canada.ca/record=1593332~S6*frcRechercher Marchiori, ECentrum voor Wiskunde en Informatica, Computer Science/Dept. of Software Technology, 1994Livre
Proving run-time properties of general programs w.r.t. constructive negation (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Proving run-time properties of general programs w.r.t. constructive negationhttps://catalogue-scientifique.canada.ca/record=1546571~S6*frcRechercher Marchiori, ECentre for Mathematics and Computer Science, 1992Livre
Proving deadlock freedom of logic programs with dynamic scheduling (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Proving deadlock freedom of logic programs with dynamic schedulinghttps://catalogue-scientifique.canada.ca/record=1695043~S6*frcRechercher Marchiori, E; Rechercher Teusink, FCentrum voor Wiskunde en Informatica, Computer Science/Dept. of Software Technology, 1996Livre
Proving termination of logic programs with delay declarations (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Proving termination of logic programs with delay declarationshttps://catalogue-scientifique.canada.ca/record=1695036~S6*frcRechercher Marchiori, E; Rechercher Teusink, FCentrum voor Wiskunde en Informatica, Computer Science/Dept. of Software Technology, 1996Livre
A predicate transformer for unification (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A predicate transformer for unificationhttps://catalogue-scientifique.canada.ca/record=1541056~S6*frcRechercher Colussi, L; Rechercher Marchiori, ECentre for Mathematics and Computer Science, 1992Livre
Applications of evolutionary computing : EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Applications of evolutionary computing : EvoWorkshops 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003 : proceedingshttps://catalogue-scientifique.canada.ca/record=2007208~S6*frcRechercher Raidl, GüntherSpringer, 2003, ISBN : 3540009760Livre électroniqueTexte intégral en ligne