Jump to main content

yr 〜
yr

Search results 42

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-3388>
National Diet Library

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)
Paper図書
Springerc2009.<M17-10-382>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-11-3213>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses. Nonclassical mathematical lo...

Typed lambda calculi and applications : 8th international conference, TLCA 2007 : Paris, France, June 26-28, 2007 : proceedings. : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4583)

Typed lambda calculi and applications : 8th international conference, TLCA 2007 : Paris, France, June 26-28, 2007 : proceedings. : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4583)
Paper図書
Springerc2007.<M17-07-2837>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

2014 international conference on fractional differentiation and its applications : (ICFDA 2014) : Catania, Italy : 23-25 June 2014 : international conference {fda/2014} : Jun 2014, Catania, Italy.

2014 international conference on fractional differentiation and its applications : (ICFDA 2014) : Catania, Italy : 23-25 June 2014 : international conference {fda/2014} : Jun 2014, Catania, Italy.
Paper図書
IEEE[2014]<M17-16-1397>
National Diet Library

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1249>
National Diet Library

Advances in the theory and applications of non-integer order systems : 5th conference on non-integer order calculus and its applications, Cracow, Poland : PRNR 2013 : 2013, Cracow, Poland. (Lecture Notes in Electrical Engineering ; 257)

Advances in the theory and applications of non-integer order systems : 5th conference on non-integer order calculus and its applications, Cracow, Poland : PRNR 2013 : 2013, Cracow, Poland. (Lecture Notes in Electrical Engineering ; 257)
Paper図書
Springer[2013]<M17-15-3351>
National Diet Library

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Paper図書
Springerc2011.<M17-11-3217>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Paper図書
Springerc2010.<M17-11-152>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Typed lambda calculi and applications : 6th international conference, TLCA 2003 : Valencia, Spain, June 10-12, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2701)

Typed lambda calculi and applications : 6th international conference, TLCA 2003 : Valencia, Spain, June 10-12, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2701)
Paper図書
Springerc2003.<M17-04-591>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
Paper図書
Springerc2009.<M17-10-304>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)
Paper図書
Springerc2007.<M17-07-1549>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)
Paper図書
Springerc2008.<M17-08-1264>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Typed lambda calculi and applications : 5th international conference, TLCA 2001 : Krakow, Poland, May 2-5, 2001 : proceedings. : May 2001, Krakow, Poland. (Lecture Notes in Computer Science ; 2044)

Typed lambda calculi and applications : 5th international conference, TLCA 2001 : Krakow, Poland, May 2-5, 2001 : proceedings. : May 2001, Krakow, Poland. (Lecture Notes in Computer Science ; 2044)
Paper図書
Springer2001.<M17-03-4694>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Theory and applications of satisfiability testing : 6th international conference, SAT 2003 : Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers. : May 2003, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2919)

Theory and applications of satisfiability testing : 6th international conference, SAT 2003 : Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers. : May 2003, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2919)
Paper図書
Springer-Verlagc2004.<M17-04-2427>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
Paper図書
Springerc2006.<M17-06-2345>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9583>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8781>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Fractional calculus : ICFDA 2018, Amman, Jordan, July 16-18 : pbk.

Fractional calculus : ICFDA 2018, Amman, Jordan, July 16-18 : pbk.
Paper図書
Praveen Agarwal ... [et al.] editorsSpringerc2019
Other Libraries in Japan
  • Subject HeadingFractional calculus -- Congresses Differential inequalities -- ...
  • Subject Heading (ID)Fractional calculus -- Congresses Differential inequalities -- ...

Fractional calculus : ICFDA 2018, Amman, Jordan, July 16-18

Fractional calculus : ICFDA 2018, Amman, Jordan, July 16-18
Paper図書
Praveen Agarwal ... [et al.] editorsSpringerc2019
Other Libraries in Japan
  • Subject HeadingFractional calculus -- Congresses Differential inequalities -- ...
  • Subject Heading (ID)Fractional calculus -- Congresses Differential inequalities -- ...
RSS