Vardi, Moshe Y. Amélioration Assistance
075531518
Notice de type Personne

Forme retenue

Vardi, Moshe Y.

Information

Langue d'expression : anglais

Source

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Andrei Voronkov (eds.). - Springer, 2003

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :4rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 1 )
340 Editeur scientifique ( 6 )
990 Fonction non précisée ( 27 )



Code de fonction non reconnu :

Rôles ?



035973234 : Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.) / Berlin : Springer , c1998



Auteur :

Rôles ?



155183842 : Logic for Programming, Artificial Intelligence, and Reasoning [Ressource électronique] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings / edited by Moshe Y. Vardi, Andrei Voronkov. / Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2003



Editeur scientifique :

Rôles ?



003982297 : Reasoning about knowledge [Texte imprimé] / Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi / Cambridge (Mass.) : The MIT press , 1995

132862921 : Advances in Multimedia Modeling [Ressource électronique] : 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Benoit Huet, Alan Smeaton, Ketan Mayer-Patel, Yannis Avrithis. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

00673216X : Proceedings of the second conference on theoretical aspects of reasoning about knowledge [Texte imprimé] : March 7-9, 1988, Pacific Grove, California / edited by Moshe Y. Vardi / Los Altos, Calif. : M. Kaufmann , cop. 1988

077820177 : Reasoning about knowledge [Texte imprimé] / Ronald Fagin, Joseph Y. Halpern, Yoram Moses... [et al.] / Cambridge (Mass.) : MIT Press , cop. 1995

075032252 : Logic for programming, artificial intelligence, and reasoning [Texte imprimé] : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Andrei Voronkov (eds.) / Berlin : Springer , cop. 2003

031748775 : Database theory--ICDT'95 [Texte imprimé] : 5th International Conference, Prague, Czech Republic, January 1995 : proceedings / Georg Gottlob, Moshe Y. Vardi, (eds) / Berlin : Springer-Verlag , cop.1995



Fonction non précisée :

Rôles ?



155169661 : Database Theory — ICDT '95 [Ressource électronique] : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings / edited by Georg Gottlob, Moshe Y. Vardi. / Berlin, Heidelberg : Springer-Verlag , 1995

155216201 : Computer Aided Verification [Ressource électronique] : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings / edited by Alan J. Hu, Moshe Y. Vardi. / Berlin, Heidelberg : Springer-Verlag , 1998

15516628X : Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [Ressource électronique] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings / edited by Doron A. Peled, Moshe Y. Vardi. / Berlin, Heidelberg : IFIP International Federation for Information Processing , 2002

13286181X : Bio-Inspired Computing and Communication [Ressource électronique] : First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pietro Li,̂, Eiko Yoneki, Jon Crowcroft, Dinesh C. Verma. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861496 : Practical Aspects of Knowledge Management [Ressource électronique] : 7th International Conference, PAKM 2008, Yokohama, Japan, November 22-23, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jr̂g Siekmann, Wolfgang Wahlster, Takahira Yamaguchi. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861690 : Towards a Service-Based Internet [Ressource électronique] : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Petri M$$̂hn̂en, Klaus Pohl, Thierry Priol. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861399 : Logic-Based Program Synthesis and Transformation [Ressource électronique] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy King. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861569 : Simulated Evolution and Learning [Ressource électronique] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, J#̂rgen Branke, Yuhui Shi. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

13286178X : Algorithms and Computation [Ressource électronique] : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Seok-Hee Hong, Hiroshi Nagamochi, Takuro Fukunaga. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861720 : Logic Programming [Ressource électronique] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Garcia de la Banda, Enrico Pontelli. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

13286164X : Advances in Multimedia Information Processing - PCM 2008 [Ressource électronique] : 9th Pacific Rim Conference on Multimedia, Tainan, Taiwan, December 9-13, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yueh-Min Ray Huang, Changsheng Xu, Kuo-Sheng Cheng, Jar-Ferr Kevin Yang, M. N. S. Swamy, Shipeng Li, Jen-Wen Ding. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861607 : Progress in Cryptology - INDOCRYPT 2008 [Ressource électronique] : 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Dipanwita Roy Chowdhury, Vincent Rijmen, Abhijit Das. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861828 : Principles of Distributed Systems [Ressource électronique] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Theodore P. Baker, Alain Bui, S'̂bastien Tixeuil. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861763 : Journal on Data Semantics XI [Ressource électronique] / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefano Spaccapietra, Jeff Z. Pan, Philippe Thiran, Terry Halpin, Steffen Staab, Vojtech Svatek, Pavel Shvaiko, John Roddick. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861585 : Languages and Compilers for Parallel Computing [Ressource électronique] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jos'̂ Nelson Amaral. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861798 : Internet and Network Economics [Ressource électronique] : 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Christos Papadimitriou, Shuzhong Zhang. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861771 : Self-Organizing Systems [Ressource électronique] : Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Karin Anna Hummel, James P. G. Sterbenz. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

134124227 : Large-Scale Scientific Computing [Ressource électronique] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

132861879 : Learning and Intelligent Optimization [Ressource électronique] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

134124243 : Cognitive Vision [Ressource électronique] : 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Barbara Caputo, Markus Vincze. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

134124235 : Constraint Handling Rules [Ressource électronique] : Current Research Topics / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tom Schrijvers, Thom Frühwirth. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2008

136310877 : Programming Multi-Agent Systems [Ressource électronique] : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009

132869004 : Verification, Model Checking, and Abstract Interpretation [Ressource électronique] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus M#̂ller-Olm. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009

134131541 : Numerical Validation in Current Hardware Architectures [Ressource électronique] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009

132870681 : Practical Aspects of Declarative Languages [Ressource électronique] : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy Gill, Terrance Swift. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009

132868792 : Distributed Computing and Internet Technology [Ressource électronique] : 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manish Parashar, Sanjeev K. Aggarwal. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009

136310907 : Fast Software Encryption [Ressource électronique] : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Orr Dunkelman. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2009


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance