Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Colin Boyd, Willy Susilo (eds.) |
8th Australasian Information Security Conference 2010, AISC 2010, Brisbane, Australia, January 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![Australian Computer Society, 978-1-920682-86-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Simon R. Lang, Neville I. Williams |
Impeding CAPTCHA Breakers with Visual Decryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: 8th Australasian Information Security Conference 2010, AISC 2010, Brisbane, Australia, January 2010, pp. 39-46, 2010, Australian Computer Society, 978-1-920682-86-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Salahuddin Alfawaz, Karen Nelson, Kavoos Mohannak |
Information security culture: A Behaviour Compliance Conceptual Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: 8th Australasian Information Security Conference 2010, AISC 2010, Brisbane, Australia, January 2010, pp. 47-55, 2010, Australian Computer Society, 978-1-920682-86-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Hüseyin Hisil, Kenneth Koon-Ho Wong, Gary Carter, Ed Dawson |
Faster Group Operations on Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 7-19, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto |
Strong Designated Verifier Signature in a Multi-user Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 21-31, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Yu-Cheng Tu 0001, Clark D. Thomborson |
Preliminary Security Specification for New Zealand's igovt System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 79-88, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Vicky Liu, Luis Franco, William J. Caelli, Lauren May, Tony Sahama |
Open and Trusted Information Systems/Health Informatics Access Control (OTHIS/HIAC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 99-108, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Masato Arai, Hidehiko Tanaka |
Proposal for Effective Information Flow Control Model for Sharing and Protecting Sensitive Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 89-98, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Routo Terada, Eduardo T. Ueda |
A New Version of the RC6 Algorithm, Stronger against χ2 Cryptanalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 47-52, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Volker Fusenig, Eugen Staab, Uli Sorger, Thomas Engel 0001 |
Slotted Packet Counting Attacks on Anonymity Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 53-59, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Muhammad Reza Z'aba, Håvard Raddum, Leonie Simpson, Ed Dawson, Matt Henricksen, Kenneth Koon-Ho Wong |
Algebraic Analysis of LEX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 33-45, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ljiljana Brankovic, Willy Susilo (eds.) |
Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![Australian Computer Society, 978-1-920682-79-8 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Clark D. Thomborson |
Foundation for Systems Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 3, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Gilbert Notoatmodjo, Clark D. Thomborson |
Passwords and Perceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 71-78, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Baptiste Alcalde, Eric Dubois 0001, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic |
Towards a Decision Model Based on Trust and Security Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009, pp. 61-69, 2009, Australian Computer Society, 978-1-920682-79-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens |
Deploying Access Control in Distributed Workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 9-17, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Mohammed Al Zomai, Bander AlFayyadh, Audun Jøsang, Adrian McCullagh |
An Experimental Investigation of the Usability of Transaction Authorization in Online Bank Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 65-73, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Quan Pham, Jason Reid, Adrian McCullagh, Ed Dawson |
Commitment Issues in Delegation Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 27-38, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto |
ID-based One-pass Authenticated Key Establishment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 39-46, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Suriadi Suriadi, Ernest Foo, Rong Du |
Layered Identity Infrastructure Model for Identity Meta Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 83-92, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Audun Jøsang, Bander AlFayyadh |
Robust WYSIWYS: A Method for Ensuring that What You See Is What You Sign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 53-58, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ljiljana Brankovic, Mirka Miller (eds.) |
Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![Australian Computer Society, 978-1-920682-62-0 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Volker Fusenig, Dagmara Spiewak, Thomas Engel 0001 |
Acimn: A protocol for Anonymous Communication In Multi hop wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 107-114, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Qiong Ren, Yi Mu 0001, Willy Susilo |
Mitigating Phishing with ID-based Online/Offline Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 59-64, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Hani Alzaid, Ernest Foo, Juan Manuel González Nieto |
Secure Data Aggregation in Wireless Sensor Network: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 93-105, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Timo Wiander |
Implementing the ISO/IEC 17799 standard in practice - experiences on audit phases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 115-119, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Pino Caballero-Gil |
Current Topics in Security of Mobile Ad-hoc NETworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 3, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Amparo Fúster-Sabater, Pino Caballero-Gil |
Linear Cellular Automata as Discrete Models for Generating Cryptographic Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 47-52, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Alex Murray, Duncan A. Grove |
PULSE: a Pluggable User-space Linux Security Environment paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 19-25, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Vijayakrishnan Pasupathinathan, Josef Pieprzyk, Huaxiong Wang |
Formal Security Analysis of Australian E-passport Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 75-82, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Eli Biham, Jennifer Seberry |
A New Very Fast Stream Cipher : Tpy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008, pp. 5, 2008, Australian Computer Society, 978-1-920682-62-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yongli Sun, Jianping Yu |
Implicitization of Rational Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 160-169, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Songxin Liang, David J. Jeffrey |
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 116-130, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Complete discrimination system, complete root classification, root classification, parametric polynomial |
1 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Extension of First-Order Theories into Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 53-67, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase, Ioan Sucan |
A Search Engine for Mathematical Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 241-253, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 25-39, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident |
1 | Weikun Sun, Hongbo Li 0012 |
On the Mixed Cayley-Sylvester Resultant Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 146-159, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mixed Cayley-Sylvester resultant matrix, Cayley quotient, Sylvester dialytic, block structure |
1 | Jun Yan 0009, Jian Zhang 0001, Zhongxing Xu |
Finding Relations Among Linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 226-240, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Philip Feinsilver, René Schott |
Operator Calculus Approach to Solving Analytic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 170-180, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arjeh M. Cohen |
Interactive Mathematical Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 1, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Shemyakova |
A Full System of Invariants for Third-Order Linear Partial Differential Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 106-115, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Laplace invariants, partial differential operators, Maple |
1 | Heisuke Hironaka |
Algebra and Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 2, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yong-Bin Li |
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 82-93, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
quasi-normal zero, algorithm CharSer, characteristic set, Triangular sets |
1 | Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan |
Hierarchical Representations with Signatures for Large Expression Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 254-268, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Veiling Strategy, Zero Test, Large Expression Management, Symbolic LU Decomposition, Time Complexity, Signature, Hierarchical Representation |
1 | Sheng Liu, Jian Zhang 0001 |
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 211-225, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lu Yang, Bican Xia |
Quantifier Elimination for Quartics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 131-145, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | William McCune |
Semantic Guidance for Saturation Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 18-24, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang 0001 |
Solving Dynamic Geometric Constraints Involving Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 181-195, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Immanuel Normann |
Enhanced Theorem Reuse by Partial Theory Inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 40-52, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard |
The Confluence Problem for Flat TRSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 68-81, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Flat, Term rewriting system, Confluence, Decision problem |
1 | Jacques Calmet, Tetsuo Ida, Dongming Wang 0001 (eds.) |
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![Springer, 3-540-39728-0 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0022 |
An Inductive Inference System and Its Rationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 3-17, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inference, induction, Belief, rationality, refutation |
1 | Stefan Ratschan, Zhikun She |
Constraints for Continuous Reachability in the Verification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 196-210, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Minzlaff, Jacques Calmet |
A New Definition for Passivity and Its Relation to Coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 94-105, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexei D. Miasnikov |
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 211-221, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger, John A. Campbell (eds.) |
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![Springer, 3-540-23212-5 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Aransay, Clemens Ballarin, Julio Rubio 0001 |
Four Approaches to Automated Reasoning with Differential Algebraic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 222-235, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Dolzmann, Lorenz A. Gilch |
Generic Hermitian Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 80-93, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Markus Rosenkranz |
The Algorithmization of Physics: Math Between Science and Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 1-7, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nao Hirokawa, Aart Middeldorp |
Polynomial Interpretations with Negative Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 185-198, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Granvilliers, Mina Ouabiba |
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 118-131, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm |
1 | Temur Kutsia |
Solving Equations Involving Sequence Variables and Sequence Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 157-170, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mahat Khelfallah, Belaid Benhamou |
Two Revision Methods Based on Constraints: Application to a Flooding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 265-270, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Linear constraints, Geographic information, Revision |
1 | David Déharbe, Abdessamad Imine, Silvio Ranise |
Abstraction-Driven Verification of Array Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 271-275, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peep Küngas |
Abstraction Within Partial Deduction for Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 52-65, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina |
Verified Computer Algebra in Acl2. Gröbner Bases Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 171-184, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zbigniew Stachniak |
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 8-14, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu |
Proving and Constraint Solving in Computational Origami. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 132-142, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Serge Mechveliani |
From a Computer Algebra Library to a System with an Equational Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 281-284, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
equational prover, term rewriting, computer algebra |
1 | Helmut Schwichtenberg |
Proof Search in Minimal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 15-25, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jian Zhang 0001, Hantao Zhang 0001 |
Extending Finite Model Searching with Congruence Closure Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 94-102, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olga Tveretina |
A Decision Procedure for Equality Logic with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 66-79, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
equality logic with uninterpreted functions, DPLL procedure, satisfiability |
1 | Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
New Developments in Symmetry Breaking in Search Using Computational Group Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 199-210, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christelle Scharff, Leo Bachmair |
On the Combination of Congruence Closure and Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 103-117, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen Villadsen |
A Paraconsistent Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 38-51, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bundy |
Planning and Patching Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 26-37, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Björn Gottfried |
Singularities in Qualitative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 276-280, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías |
An Expert System on Detection, Evaluation and Treatment of Hypertension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 251-264, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed El-bachir Menai |
An Evolutionary Local Search Method for Incremental Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 143-156, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Incremental Satisfiability, Self-Organized Criticality, Stochastic Local Search, Extremal Optimization |
1 | Bruno Buchberger |
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings, pp. 236-250, 2004, Springer, 3-540-23212-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hunter |
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 117-127, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Topic. Symbolic Computations for Expert Systems and Machine Learning, Classification, Genetic Programming, Symbolic Regression, ROC Curves, Multiobjective Optimisation |
1 | Martin Charles Golumbic, Assaf Siani |
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 196-207, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 231-245, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Simon Colton |
Making Conjectures about Maple Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 259-274, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Regina Bernhaupt, Jochen Pfalzgraf |
On Mathematical Modeling of Networks and Implementation Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 168-180, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Corless, David J. Jeffrey |
The Wright omega Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 76-89, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Madhu Chetty |
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 12-25, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Elena Smirnova |
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 64-75, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Florina Piroi, Bruno Buchberger |
Focus Windows: A New Technique for Proof Presentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 337-342, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki |
Inductive Synthesis of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 26-37, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding |
1 | Eugene C. Freuder |
Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 1, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Beeson, Freek Wiedijk |
The Meaning of Infinity in Calculus and Computer Algebra Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 246-258, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alain Colmerauer |
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 2-3, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 290-304, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ranise |
Combining Generic and Domain Specific Reasoning by Using Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 305-318, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Zimmer, Louise A. Dennis |
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 319-331, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ayal Z. Pinkus, Serge Winitzki |
YACAS: A Do-It-Yourself Symbolic Algebra Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 332-336, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Nossum, Luciano Serafini |
Multicontext Logic for Semigroups of Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 90-101, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning |
1 | Sophie Loriette-Rougegrez |
From Numerical to Symbolic Data during the Recognition of Scenarii. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 154-167, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.) |
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![Springer, 3-540-43865-3 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|