|
Computational Logic and Proof Theory
|
Georg GottlobAlexander LeitschDaniele Mundici |
Springer |
_ |
1997 |
|
|
Computational Logic and Proof Theory
|
Georg GottlobAlexander LeitschDaniele Mundici |
Springer |
_ |
1993 |
|
|
Computational Logic in Multi-Agent Systems
|
Jo�o LeitePaolo TorroniThomas �gotnesGuido BoellaLeon van der Torre |
Springer |
_ |
2011 |
|
|
Computational Logic in Multi-Agent Systems
|
J�rgen DixJo�o LeiteGuido GovernatoriWojtek Jamroga |
Springer |
_ |
2010 |
|
|
Computational Logic in Multi-Agent Systems
|
Jo�o LeitePaolo Torroni |
Springer |
_ |
2005 |
|
|
Computational Logic in Multi-Agent Systems
|
J�rgen DixMichael FisherPeter Nov�k |
Springer |
_ |
2010 |
|
|
Computational Logic in Multi-Agent Systems
|
J�rgen DixJo�o Leite |
Springer |
_ |
2005 |
|
|
Computational Logic in Multi-Agent Systems
|
Fariba SadriKen Satoh |
Springer |
_ |
2008 |
|
|
Computational Logic in Multi-Agent Systems
|
Francesca ToniPaolo Torroni |
Springer |
_ |
2006 |
|
|
Computational Logic in Multi-Agent Systems
|
Michael FisherFariba SadriMichael Thielscher |
Springer |
_ |
2009 |
|
|
Computational Logic in Multi-Agent Systems
|
Michael FisherLeon van der TorreMehdi DastaniGuido Governatori |
Springer |
9783642328978 |
2012 |
|
|
Computational Logic in Multi-Agent Systems
|
Katsumi InoueKen SatohFrancesca Toni |
Springer |
_ |
2007 |
|
|
Computational Logic � CL 2000
|
John LloydVeronica DahlUlrich FurbachManfred KerberKung-Kiu LauCatuscia PalamidessiLu�s Moniz PereiraYehoshua SagivPeter |
Springer |
_ |
2000 |
|
|
Computational Logic: Logic Programming and Beyond
|
Antonis C. KakasFariba Sadri |
Springer |
_ |
2002 |
|
|
Computational Logic: Logic Programming and Beyond
|
Antonis C. KakasFariba Sadri |
Springer |
_ |
2002 |
|
|
Computational Logistics
|
Hao HuXiaoning ShiRobert StahlbockStefan Vo� |
Springer |
_ |
2012 |
|
|
Computational Logistics
|
J�rgen W. B�seHao HuCarlos JahnXiaoning ShiRobert StahlbockStefan Vo� |
Springer |
_ |
2011 |
|
|
Computational Materials Science
|
Kaoru Ohno, Keivan Esfarjani, Yoshiyuki Kawazoe |
Springer |
9783662565421 |
2018 |
New Arrival |
|
Computational Methods for SNPs and Haplotype Inference
|
Sorin IstrailMichael WatermanAndrew Clark |
Springer |
_ |
2004 |
|
|
Computational Methods in Neural Modeling
|
Jos� MiraJos� R. �lvarez |
Springer |
_ |
2003 |
|
|
Computational Methods in Systems Biology
|
David GilbertMonika Heiner |
Springer |
9783642336362 |
2012 |
|
|
Computational Methods in Systems Biology
|
Vincent DanosVincent Schachter |
Springer |
_ |
2005 |
|
|
Computational Methods in Systems Biology
|
Pierpaolo DeganoRoberto Gorrieri |
Springer |
_ |
2009 |
|
|
Computational Methods in Systems Biology
|
Corrado Priami |
Springer |
_ |
2003 |
|
|
Computational Methods in Systems Biology
|
Monika HeinerAdelinde M. Uhrmacher |
Springer |
_ |
2008 |
|