Logic programming; Meetings; Data bases; Integrated systems; Theorem proving; Firedetection; Coal mining; Algorithms; Software tools;
机译:在体育和社会中使用兴奋剂:滥用,分析测试和法律方面,作为1996年7月7日至12日在XVI国际临床化学大会上的一部分,于1996年7月7日至12日在英国伦敦温布利举行的科学座谈会上的会议记录
机译:2004年8月2日至6日在加拿大渥太华举行的第15届国际地球潮汐国际研讨会论文集
机译:2001年7月2日至6日在澳大利亚堪培拉举行的第四届国际豆类会议上举行的植物化学和豆类/动物相互作用专题讨论会的论文集
机译:ICSE '96。 1996年IEEE半导体电子国际会议。议事录
机译:2014年7月23日至27日在德国波恩举行的国际嘌呤核苷酸核苷和核糖核酸会议2014年嘌呤摘要
机译:R.EckmannA.AppenzellerR.RöschCoregonid鱼类的生物学与管理— 1996年于19961998年9月23日至26日在德国康斯坦茨举行的第六届Coregonid鱼类的生物学与管理国际研讨会论文集。 Schweizerbart'sche Verlagsbuchhandlung(Nägeleund Obermiller)斯图加特3-510-47052-4
机译:关于演绎数据库和逻辑编程的研讨会DDLp'96的会议记录(与JICsLp'96合作的第四次研讨会)。 1996年9月5日至6日在德国波恩举行